#include <stdint.h>
static uint8_t seed[] = {
    0x53, 0xb3, 0xdf, 0x91, 0xed, 0x19, 0x77, 0xe3, 0x37, 0x85, 0x52, 0x03, 0xda, 0x9e, 0x38, 0x04,
    0x68, 0x6a, 0xd1, 0x3a, 0x37, 0xb0, 0x56, 0x84, 0x48, 0xb1, 0x4b, 0xea, 0xcf, 0xc3, 0x32, 0x8b,
};
static uint32_t seed_len = 32;