void save_to_file(char *name); void load_from_file(char *name);