pub const KAS_UINT64: u32 = 7;