Symbol: bxe_alloc_mem