An Infocom game interpreter for X11