if (tapeType != null) print(tapeType); else
if (tapeType != null) { if(tapeType instanceof CArrayType) print(tapeType.toString()); else print(tapeType); } else
    public void visitPushExpression(SIRPushExpression self,                                    CType tapeType,                                    JExpression val)    {        print("(PUSH_DEFAULTB(");        if (tapeType != null)            print(tapeType);        else            print("/* null tapeType! */ int");        print(", ");        val.accept(this);        print("))");    }