export module partition_level:intf1;
import :impl7;
namespace partition_level {
int intf1()
{
  return impl7();
}
}