module a { header "friend.h" export * } module b { header "def.h" export * }