let SSL := requireModule "libssl1/SSL.5D" in 
let TLS := requireModule "libssl1/TLS.5D" in 
let DTLS1 := requireModule "libssl1/DTLS1.5D" in 
(requireModule "Composition").dispatch1 (#exports[SSL TLS DTLS1])