// callf1_64.h
void callf1_64(double L[]);