Type Alias __uint64 

pub type __uint64 = u64;