#29 use finctuin input of Xmpp module in tls.hs