MIN                84 src/simh/sim_defs.h # ifdef MIN
MIN                59 src/simh/sim_timer.c #ifndef MIN
MIN               742 src/simh/sim_timer.c sim_int_clk_tps = MIN(CLK_TPS, sim_os_tick_hz);