/*
 * DD 2016-10-11
 * This program yields a TypeError: Goto label not found.
 */
int main( )
{
  for(;;) {
      continue;
  }
}