pub type __intptr_t = i64;