#44 tls.hs: input from stdin