pub const SYS_membarrier: i32 = 375;