pub const TCG_TARGET_HAS_ext16s_i32: u32 = 1;