Symbol: bigalloc_t