#include <stdio.h>
#define MIAMACRO 12345678
#define UNITO MI ## A ## MA ## CRO
int main (void)
{
  printf ("%i\n", UNITO);
  return 0;
}