Symbol: __tun_prn