It appears that the term “$tun” may be a typographical error or a specific internal…