const uint32_t inc9[3] = {
    0x03020100, 0x07060504, 0xccbbaa08,  // 0x0000_0000
};
