pub const TCG_TARGET_HAS_ext32u_i64: u32 = 1;