int sample_procedure ( 
   int argument1)           /* sample argument */
{
  int a = 1;
  int i;
  for (i=1;i<10;i++) {
    printf("Current value of a: %d\n",a);
    a *=i;
  }
  return a;
}