virtualx-engine/drivers/unix/memory_pool_static_malloc.h