void free_CTHState(void* s) { return; }