MIN                86 src/simh/sim_defs.h # ifdef MIN
MIN                70 src/simh/sim_timer.c #ifndef MIN
MIN               773 src/simh/sim_timer.c sim_int_clk_tps = MIN(CLK_TPS, sim_os_tick_hz);