use `for(;;)`