double
foo (double c)
{
  return c*2;
} // foo