{
  int x = 5;

  if (x)
  {
     printf("x = %d\n", x);
  }
  while (1);
}