#define diskette_width 18
#define diskette_height 18
static char diskette_bits[] = {
  0xFF, 0xFF, 0x03, 0xFF, 0xFF, 0x03, 0x03, 0x00, 0x03, 0x03, 0x00, 0x03, 
  0x03, 0x00, 0x03, 0x03, 0x00, 0x03, 0x03, 0x00, 0x03, 0x03, 0x00, 0x03, 
  0x03, 0x00, 0x03, 0x03, 0x00, 0x03, 0xF3, 0x3F, 0x03, 0xF3, 0x3F, 0x03, 
  0x33, 0x3F, 0x03, 0x33, 0x3F, 0x03, 0x33, 0x3F, 0x03, 0x33, 0x3F, 0x03, 
  0xFC, 0xFF, 0x03, 0xFC, 0xFF, 0x03, };