setTreeHeight
setTreeHeight(addr, height);
setTreeHeight(addr, height);
setTreeHeight(node_addr, stacklevels[stackoffset-1]);
setTreeHeight(node_addr, nodeheight);
setTreeHeight(addr, i);
setTreeHeight(addr, (params->h-1));
setTreeHeight(node_addr, state->stacklevels[state->stackoffset-1]);
setTreeHeight(node_addr, (tau-1));
void setTreeHeight(uint32_t adrs[8], uint32_t treeHeight);