geteltnm
char *geteltnm(int);
geteltnm(objp[i].object_type),
ob.obj_id, geteltnm(objp[i].object_type),
extern char *geteltnm(int);
extern char *geteltnm(int);
objp[i].obj_id, geteltnm((int)objp[i].object_type));