#define shift_right_width 9
#define shift_right_height 9
static unsigned char shift_right_bits[] = {
   0x04, 0x00, 0x08, 0x00, 0x10, 0x00, 0x20, 0x00, 0x40, 0x00, 0x20, 0x00,
   0x10, 0x00, 0x08, 0x00, 0x04, 0x00 };