if (s instanceof CArrayType){ typePrint(((CArrayType)s).getElementType()); p.print("*"); } else if (s.getTypeID() == TID_BOOLEAN) p.print("int"); else if (s.toString().endsWith("Portal"))  p.print("portal"); else p.print(s.toString()); }
p.print(CommonUtils.CTypeToString(s, hasBoolType)); }
   protected void typePrint(CType s) {	if (s instanceof CArrayType){		typePrint(((CArrayType)s).getElementType());           p.print("*");       }       else if (s.getTypeID() == TID_BOOLEAN)           p.print("int");       else if (s.toString().endsWith("Portal"))	    // ignore the specific type of portal in the C library	    p.print("portal");	else           p.print(s.toString());   }   