category code {
  predefined_exceptions = true;
}
