// call1_64.h
void call1_64(long int L[]);