pub const TCG_TARGET_REG_BITS: u32 = 64;