),    TRUE, FALSE, chunk_from_chars(   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00 )  },  { FALSE, chunk_from_chars(   0xc0, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,   0x00, 0x00, 0x00, 0x00),    TRUE, FALSE, chunk_from_chars(   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x