/* input terminal types */