#define hxtraf_width 32
#define hxtraf_height 16
static char hxtraf_bits[] = {
   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x80, 0x0f, 0xf0, 0x01,
   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
   0xc0, 0x1f, 0xf8, 0x03, 0x7c, 0xf0, 0x0f, 0x3e, 0xc6, 0x1f, 0xf8, 0x63,
   0x06, 0x00, 0x00, 0x60, 0x06, 0x00, 0x00, 0x60, 0xfc, 0xff, 0xff, 0x3f,
   0x80, 0x07, 0xe0, 0x01};