Symbol: mana_get_rxfrag