__execmem_cache_alloc
p = __execmem_cache_alloc(range, size);
return __execmem_cache_alloc(range, size);