Type Alias __uintmax_t 

pub type __uintmax_t = u64;