extern void toto(int, double);

void
report (int x)
{
      toto (1, x/ 10.0);
}