let var x := 1 in when x do x end