module imports.test72a;
public import imports.test72b;