category code {
  empty_while = true;
}
