module Dummy {
  header "Dummy.h"
  export *
}