BEGIN
    x := --x++
END