@wjw_change: Using a memory pool to make native memory allocations more
efficient