// call1_64.c  tested by  test_call1_64.c
void call1_64(long int L[])
{
  L[0] = L[0]+3;
  L[1] = L[1]+4;
  return;
}