postincrement, cycles expanded