#include <stdint.h>

const uint32_t REFCNT = D_REFCNT;
const char VERSION[] = D_VERSION;