pub const TCG_TARGET_HAS_extrh_i64_i32: u32 = 0;