#define OFFSET(B, K)             (((uint8_t *)B) + K)

#define INFOSIZE                 512
#define INFO_SOLVER_STRLEN       100
#define INFO_DISTRIBUTION_LEN    21

#define TABLETYPE_PRUNING        0
#define TABLETYPE_SPECIAL        1

#define INFO_OFFSET_DISTRIBUTION 0
#define INFO_OFFSET_TYPE         (INFO_DISTRIBUTION_LEN * sizeof(uint64_t))
#define INFO_OFFSET_INFOSIZE     (INFO_OFFSET_TYPE + sizeof(uint64_t))
#define INFO_OFFSET_FULLSIZE     (INFO_OFFSET_INFOSIZE + sizeof(uint64_t))
#define INFO_OFFSET_HASH         (INFO_OFFSET_FULLSIZE + sizeof(uint64_t))
#define INFO_OFFSET_ENTRIES      (INFO_OFFSET_HASH + sizeof(uint64_t))
#define INFO_OFFSET_CLASSES      (INFO_OFFSET_ENTRIES + sizeof(uint64_t))
#define INFO_OFFSET_NEXT         (INFO_OFFSET_CLASSES + sizeof(uint64_t))
#define INFO_OFFSET_SOLVER       (INFO_OFFSET_NEXT + sizeof(uint64_t))
#define INFO_OFFSET_H48H         (INFO_OFFSET_SOLVER + INFO_SOLVER_STRLEN)
#define INFO_OFFSET_BITS         (INFO_OFFSET_H48H + sizeof(uint8_t))
#define INFO_OFFSET_BASE         (INFO_OFFSET_BITS + sizeof(uint8_t))
#define INFO_OFFSET_MAXVALUE     (INFO_OFFSET_BASE + sizeof(uint8_t))

typedef struct {
	uint64_t distribution[INFO_DISTRIBUTION_LEN];
	uint64_t type;
	uint64_t infosize;
	uint64_t fullsize;
	uint64_t hash;
	uint64_t entries;
	uint64_t classes; /* Used only by cocsepdata, for now */
	uint64_t next;
	char solver[INFO_SOLVER_STRLEN];
	uint8_t h48h; /* Specific to H48 tables */
	uint8_t bits;
	uint8_t base;
	uint8_t maxvalue;
} tableinfo_t;

STATIC bool readtableinfo(const void *, tableinfo_t *);
STATIC bool readtableinfo_n(const void *, uint8_t, tableinfo_t *);
STATIC bool writetableinfo(const tableinfo_t *, void *);

STATIC bool
readtableinfo(const void *buf, tableinfo_t *info)
{
	if (buf == NULL) {
		LOG("Error reading table: buffer is NULL\n");
		return false;
	}

	if (info == NULL) {
		LOG("Error reading table info: info struct is NULL\n");
		return false;
	}

	memcpy(info->distribution, OFFSET(buf, INFO_OFFSET_DISTRIBUTION),
	    INFO_DISTRIBUTION_LEN * sizeof(uint64_t));

	info->type = *(const uint64_t *)OFFSET(buf, INFO_OFFSET_TYPE);
	info->infosize = *(const uint64_t *)OFFSET(buf, INFO_OFFSET_INFOSIZE);
	info->fullsize = *(const uint64_t *)OFFSET(buf, INFO_OFFSET_FULLSIZE);
	info->hash = *(const uint64_t *)OFFSET(buf, INFO_OFFSET_HASH);
	info->entries = *(const uint64_t *)OFFSET(buf, INFO_OFFSET_ENTRIES);
	info->classes = *(const uint64_t *)OFFSET(buf, INFO_OFFSET_CLASSES);
	info->next = *(const uint64_t* )OFFSET(buf, INFO_OFFSET_NEXT);

	memcpy(info->solver, OFFSET(buf, INFO_OFFSET_SOLVER),
	    INFO_SOLVER_STRLEN);

	info->h48h = *OFFSET(buf, INFO_OFFSET_H48H);
	info->bits = *OFFSET(buf, INFO_OFFSET_BITS);
	info->base = *OFFSET(buf, INFO_OFFSET_BASE);
	info->maxvalue = *OFFSET(buf, INFO_OFFSET_MAXVALUE);

	return true;
}

STATIC bool
readtableinfo_n(const void *buf, uint8_t n, tableinfo_t *info)
{
	for ( ; n > 0; n--, buf = (char *)buf + info->next)
		if (!readtableinfo(buf, info))
			return false;

	return true;
}

STATIC bool
writetableinfo(const tableinfo_t *info, void *buf)
{
	int i;

	if (buf == NULL) {
		LOG("Error writing table: buffer is NULL\n");
		return false;
	}

	if (info == NULL) {
		LOG("Error writing table info: provided info is NULL\n");
		return false;
	}

	memcpy(OFFSET(buf, INFO_OFFSET_DISTRIBUTION), info->distribution,
	    INFO_DISTRIBUTION_LEN * sizeof(uint64_t));

	*(uint64_t *)OFFSET(buf, INFO_OFFSET_TYPE) = info->type;
	*(uint64_t *)OFFSET(buf, INFO_OFFSET_INFOSIZE) = info->infosize;
	*(uint64_t *)OFFSET(buf, INFO_OFFSET_FULLSIZE) = info->fullsize;
	*(uint64_t *)OFFSET(buf, INFO_OFFSET_HASH) = info->hash;
	*(uint64_t *)OFFSET(buf, INFO_OFFSET_ENTRIES) = info->entries;
	*(uint64_t *)OFFSET(buf, INFO_OFFSET_CLASSES) = info->classes;
	*(uint64_t *)OFFSET(buf, INFO_OFFSET_NEXT) = info->next;

	memcpy(OFFSET(buf, INFO_OFFSET_SOLVER), info->solver,
	    INFO_SOLVER_STRLEN);

	/* Zeroing all chars after the end of the string, for consistency */
	for (i = 1; i < INFO_SOLVER_STRLEN; i++)
		if (*OFFSET(buf, i) == 0)
			*OFFSET(buf, i) = 0;

	*OFFSET(buf, INFO_OFFSET_H48H) = info->h48h;
	*OFFSET(buf, INFO_OFFSET_BITS) = info->bits;
	*OFFSET(buf, INFO_OFFSET_BASE) = info->base;
	*OFFSET(buf, INFO_OFFSET_MAXVALUE) = info->maxvalue;

	return true;
}