pub const TCG_TARGET_HAS_extract_i64: u32 = 1;