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