Checked in OpenSSL FIPS module source