DEFINITION MODULE Timer; (* get time stats, FST specific *) (* John Andrea, Mar.27/92 *) (* This code may NOT be sold, it may be freely used and distributed *) PROCEDURE StartTimer; PROCEDURE ShowTimer; END Timer.