pub type reg_t = u64;