category code {
  nested_while = true;
}
