adt_load_ttyname
(void) adt_load_ttyname(ttyname, &p_tid);
if (adt_load_ttyname("/dev/console", &p_tid) != 0) {
extern int adt_load_ttyname(const char *, adt_termid_t **);
if (adt_load_ttyname(tty, &termid) != 0) {