#define padlock_width 7
#define padlock_height 9
static unsigned char padlock_bits[] = {
   0x1c, 0x22, 0x22, 0x7f, 0x7f, 0x7f, 0x7f, 0x7f, 0x7f};