typePrint(dest);
printType(dest);
    public void visitInstanceofExpression(JInstanceofExpression self,                                          JExpression expr,                                          CType dest) {        expr.accept(this);        p.print(" instanceof ");        typePrint(dest);    }