pub const TCG_TARGET_HAS_ext32s_i64: u32 = 1;