defalloc.cpp defalloc.h libstate mem_pool