#include <stdio.h>


typedef int my_int;


int main(int argc, char *argv[])
{
   int a;
   my_int b;

   a = 123;

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

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