while x > y + 6 do
    y := y + 2