#include <stdio.h>
main ()
{
 int x;
  x=10;
  printf("x=%d\n",x);
}