module ImportCCharTypes {
  header "import-cchar-types.h"
  export *
}