Does anyone know if there is an open source program for reading/writing/creating DSK files that are compatible with the VCC emulator? If not, does anyone have any information on the DSK file format specification?