SYS_compat_13_sigprocmask13
{ SYS_compat_13_sigprocmask13, 0,
{ SYS_compat_13_sigprocmask13, "compat_13" },