void tic_menu(void);
int  tic_doc(FILE *, FILE *, int);