#define jump_width 16
#define jump_height 16
static char jump_bits[] = {
   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
   0x00, 0x00, 0x00, 0x00, 0xfe, 0x7f, 0xfc, 0x3f, 0x00, 0x06, 0xc0, 0x01,
   0x30, 0x00, 0xc0, 0x03, 0x00, 0x0c, 0xe0, 0x03};