/* p */
    512,
    { 0xCF, 0xDA, 0xF9, 0x99, 0x6F, 0x05, 0x95, 0x84,
      0x09, 0x90, 0xB3, 0xAB, 0x39, 0xB7, 0xDD, 0x1D,
      [...]
      0xE1, 0x2C, 0x0D, 0xF7, 0x30, 0xE2, 0xB8, 0x09,
      0x73, 0x50, 0x28, 0xF6, 0x55, 0x85, 0x57, 0x03 },