A terminal emulator for 16c