# while(1)
{
  ..
  redo
}