module pkgDIP37_10354;
public import pkgDIP37_10354.mfoo;
public import pkgDIP37_10354.mbar;