DEFAULT_CLOCKS     77 src/casl2.c        int clocks = DEFAULT_CLOCKS;
DEFAULT_CLOCKS     34 src/comet2.c       int clocks = DEFAULT_CLOCKS;
DEFAULT_CLOCKS     41 src/comet2monitor.c     int clocks = DEFAULT_CLOCKS;