A terminal multiplexer