Symbol: malo_txrec