pub const __WORDSIZE: c_int = 64;