der_get_class_name
printf ("%s %s ", der_get_class_name(class), der_get_type_name(type));
der_get_class_name (unsigned /*num*/);