let in for x := 0 to 9 do for y := x to 9 do y ; 1 end