812a966e8b7438d052559892fb2a9404  openssl.scm