int main()
{
  int x;

  x = 4;

  #ifdef  DEBUG
  printf("x = %d", x);
  #endif
}