#include <stdio.h>

void print( long x )
{
   printf("print(): x = %d\n", x);
}