export module partition_level:intf7;
export import :intf6;
namespace partition_level {
int intf7()
{
  return intf6();
}
}