pub type __s32 = i32;