r12 does not need to be pushed