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