// callf1_64.c  tested by  test_callf1_64.c
void callf1_64(double L[])
{
  L[0] = L[0]+3.0;
  L[1] = L[1]+4.0;
  return;
}