let var x: int := 1 in x end