These are the test of the STM system that Leon Mika left, taken from
/home/saturn/lmika. The tests in the stm directory have been adapted from
these files.
