[PoC] HF exporters (#41992)