sysdecode_idtype
const char *sysdecode_idtype(int _idtype);
print_integer_arg(sysdecode_idtype, *ip);
print_integer_arg(sysdecode_idtype, *ip);
print_integer_arg(sysdecode_idtype, fp, args[sc->offset]);