pub const SYS_write: i32 = 4;