exceptions        246 src/grid_GridAndTime_impl.cpp   iss.exceptions(ios_base::badbit);
exceptions         58 src/maxH_main.cpp     iss.exceptions(ios_base::badbit | ios_base::failbit);