export module mod1; import partition_level; export int mod1() { return partition_level::get(); }