#define magic_portal_width 24
#define magic_portal_height 24
static char magic_portal_bits[] = {
  0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
  0x00, 0x12, 0x00, 0x00, 0xac, 0x00, 0x80, 0x7a, 0x02, 0x00, 0xbf, 0x00,
  0xa0, 0xe6, 0x01, 0x40, 0xdb, 0x02, 0xa0, 0xbd, 0x05, 0xc0, 0xbd, 0x03,
  0x80, 0x7b, 0x05, 0x60, 0x7b, 0x0b, 0x80, 0xb6, 0x03, 0x00, 0xcf, 0x06,
  0x80, 0xfa, 0x01, 0x00, 0xbc, 0x02, 0x00, 0x6a, 0x00, 0x00, 0x50, 0x01,
  0x00, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00};