Symbol: alloc_rxq