{
  inf_leave: // goto emulation
  for (;;) {}
}