Made post-increment return old value instead of new