an explicit PUSH_FRAME instruction