pub const SYS_getcpu: c_long = 4000 + 312; // 4_312i32