Introduce format.PushIndex and family