/* ---
   This is a comment
   --- */

#include <stdio.h>

int x;

int main( int argc, char *argv[] )
{
   x = 1;
   printf("%d\n", x);
}