/* output terminal types */