[mkelly]

Because the comma adds a sequence point, it should be defined: the post-increments both happen before the use of the k lval.