#define diskette_width 9
#define diskette_height 9
static unsigned char diskette_bits[] = {
   0xff, 0x01, 0x01, 0x01, 0x01, 0x01, 0x01, 0x01, 0x01, 0x01, 0x7d, 0x01,
   0x75, 0x01, 0x75, 0x01, 0xfe, 0x01 };