pub const TCG_TARGET_HAS_extrl_i64_i32: u32 = 0;