category code {
  magic_number = true;
}
