int make_read_only(char *); int make_read_write(char *); int set_file_attributes(char *, int); void make_hidden(char *);