let type a = int var b := 4 in 0 end