FUNC INT main() {
    INT x, y      x := 
    42 y:=0
    WHILE x DO {
        x := x - 1
        y := y + 2
     } DONE
    RETURN y
}