package foo:a2;
interface foo {
  use foo:a1/foo.{};
}