module Newtype {
  header "newtype.h"
  export *
}