#ifdef DECL_TGETNUM
extern int tgetnum (char *);
#endif