pub const __NR_exit: u32 = 60; // 60u32