15.64.18.16 TEKTRONIX - Tektronix 4010/4014 compatible terminals TD:SET DEVICE TEKTRONIX "type,options"