SYS_compat_50___sigtimedwait
{ SYS_compat_50___sigtimedwait, 0,
{ SYS_compat_50___sigtimedwait, "compat_50" },