/* LINTLIBRARY */ int tgetent(s, t) char *s, *t; { return 1; } int tgetflag(s) char *s; { return 1; } int tgetnum(s) char *s; { return 1; } char *tgetstr(s, r) char *s, **r; { return ""; } char *tgoto(s, n, m) char *s; { return ""; } void tputs(s, n, f) char *s; int (*f)(); { }