Module hax_frontend_exporter::body::module::implementations