chiark / gitweb /
gui: read "train * is *" from .record into trainnum2train global array