framework module A {
  header "a.h"

  module Pirate {}

  export *
}