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