interface foo {
  use a1.foo.{}
}