int main() {
  while (1) { x : 15; }
}