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