for with postdecrement as condition