Symbol: __alloc_size