get_moduli_filename
if ((f = fopen(get_moduli_filename(), "r")) == NULL) {
get_moduli_filename(), strerror(errno));
get_moduli_filename());