OUTER: 
  while(1) {
     ...