};
TableEntry* allocTableEntry(uint64_t* inputs, uint inputSize, uint64_t result);
void deleteTableEntry(TableEntry* tableEntry);
};
TableEntry* allocTableEntry(uint64_t* inputs, uint inputSize, uint64_t result);
void deleteTableEntry(TableEntry* tableEntry);