Symbol: bigalloc_unlock