sysdecode_ptrace_request
const char *sysdecode_ptrace_request(int _request);
print_integer_arg(sysdecode_ptrace_request, *ip);
print_integer_arg(sysdecode_ptrace_request, fp,