A block is a special statment, that begins with '{', contains a list
of statements, and ends with '}'. The block may also define
local variables. Currently, the local variables are visible until the
end of the function. This will be fixed later.