module HasWarnings {
  header "has_warnings.h"
}

module HasErrors {
  header "has_errors.h"
}