9.5.1 Implementation Defined Options

encoding of keyboard events (EKEY):

Keys corresponding to ASCII characters are encoded as ASCII characters. Other keys are encoded with the constants k-left, k-right, k-up, k-down, k-home, k-end, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11, k12, k-winch, k-eof.

duration of a system clock tick:

System dependent. With respect to MS, the time is specified in microseconds. How well the OS and the hardware implement this, is another question.

repeatability to be expected from the execution of MS:

System dependent. On Unix, a lot depends on load. If the system is lightly loaded, and the delay is short enough that Gforth does not get swapped out, the performance should be acceptable. Under MS-DOS and other single-tasking systems, it should be good.