objtypename
const char *t = objtypename(o);
const char *t1 = objtypename(p1);
const char *t2 = objtypename(p2);