let var x: string := 1 in x end