WALL CLOCK time is the time experienced by the player and determines
the subjective impression of how ``fast'' the game runs. The
relative speed of the game is determined by the game parameter
: the ``game speed''.
is determined to be the number
of milliseconds of WALL CLOCK time between each tick of the GLOBAL
CLOCK.
is a game parameter set during INITIALIZATION.