pub const c__WORDSIZE: u32 = 64;