#ifndef TEST_IDXGEN_H
#define TEST_IDXGEN_H

#include <stdint.h>

uint8_t test_idxgen();

#endif