Symbol: tavor_impl_mbox_alloc