ckint_hlp
extern void ckint_hlp __P((short base, char *help));
ckint_hlp(base, help);
extern void ckint_hlp(short, char *);