$timerID = 0;
function precisionTimer(%val)
{
   if (%val)
      $timerID = startPrecisionTimer();
   else
      echo("Milliseconds elapsed:" SPC stopPrecisionTimer($timerID));
}

MoveMap.bind(keyboard, t, precisionTimer);