Use Tun module in hello.pl.