print("PUSH(data->context, ");
print("(PUSH(data->context, ");
    public void visitPushExpression(SIRPushExpression self,                                    CType tapeType,                                    JExpression val)    {        print("PUSH(data->context, ");        if (tapeType != null)            print(tapeType);        else            print("/* null tapeType! */ int");        print(", ");        val.accept(this);        print(")");    }