category code {
  deprecated = true;
}
