int draw_to_file(FILE *);