package foo:bar; world module { resource a; }