> but all EXF, CAL, COST, CTRL, AUTODIFF, ECCO related CPP options currently > should ONLY go into one single header file, ECCO_CPPOPTIONS (see e.g. > verification/global_with_exf/ in the main branch). YOU HAVE TO BE KIDDING !!! How is anyone supposed to use EXF without the ECCO stuff? A.