SYS_compat_13_sigpending13
{ SYS_compat_13_sigpending13, 0,
{ SYS_compat_13_sigpending13, "compat_13" },