category code {
  no_effect_assignment = true;
}
