Symbol: gen_txintr