void fs_choice_cb(Fl_Widget *, void *v);
void browse_floppy_disk(filesystem_generator_window *fgw,int lastoperationerror);
void tick_fs(void *v);
void dnd_fs_cb(Fl_Widget *o, void *v);
int  write_back_fileimage();
int  load_indexed_fileimage(int index);
