hax前端导出辅助包
由 Franziskus Kiefer， Lucas Franceschino， karthikbhargavan， Lasse Letager Hansen， jschneider-bensch， Son HO 等 9位贡献者
#2287 in Rust模式
用于 2 crates
1MB 6K SLoC
目前，前端对环境变量 HAX_CORE_EXTRACTION_MODE 的 特殊模式 敏感。
HAX_CORE_EXTRACTION_MODE
~1.5–2.4MB ~50K SLoC