pub const __NR_tuxcall: u32 = 184;