How should postincrement work?