#include <stdio.h>


int main(int argc, char *argv[])
{
   int const a = 4;

   printf (" a = %d\n", a);

   a = 1;

   printf (" a = %d\n", a);
}