An expression `x++` would be equivalent to `(x := x + 1)`. - It would have to be postfix only, to prevent ambiguity with `+(+(x))` - For maximum inconsistency with C, it should return the postincremented value