I chose semantics that make all variables defined in outer scopes
(including globals) visible as locals, unless overridden by assignment
in inner scope.