Constant KAS_UINT64

Source
pub const KAS_UINT64: u32 = 7;