	/*LINTLIBRARY*/

int tgetent(bp,name) char *bp, *name; { return(1); }
int tgetnum(id) char *id; { return(0); }
int tgetflag(id) char *id; { return(1); }
char *tgetstr(id,area) char *id,**area; { static char *c;  return(c); }
char *tgoto(cm,destcol,destline) char *cm; int destcol, destline;  { static char *c;  return(c); }
int tputs(cp,affcnt,outc) char *cp; int affcnt, outc; { return(0); }
