extern int wrfileopt(char c);
extern void give_wrfileopt(void);
extern void set_wrfileopt(int restricted);
extern void set_s_wrfileopt(int restricted);
extern char *get_wrfileopt(void);