#include <stdio.h>

int main ()
{
  proc (7);
  return 0;
}

void proc (double dbl)
{
  printf ("in prod, dbl is %lf\n", dbl);
}