Changes

use Time;

config const quiet: bool = false;

/* Create a Timer t */

var t: Timer;

t.start();

writeln(“Operation start”);

writeln(“Operation end”);

t.stop();

If !quiet then {

/* return time in milliseconds that was recorded by the timer */