package foo:bar; interface foo { type t = own; }