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