#include "header.h"

int x;

int main(int argc, char *argv[])
{
   x = MAX;

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