Timings for with_bedrock2_fiat_crypto.v

1. /home/gitlab-runner/builds/gGKko-aj/0/coq/coq/_bench/opam.OLD/ocaml-OLD/.opam-switch/build/coq-fiat-crypto-with-bedrock.dev//./src/ExtractionJsOfOCaml/with_bedrock2_fiat_crypto.v.timing
2. /home/gitlab-runner/builds/gGKko-aj/0/coq/coq/_bench/opam.NEW/ocaml-NEW/.opam-switch/build/coq-fiat-crypto-with-bedrock.dev//./src/ExtractionJsOfOCaml/with_bedrock2_fiat_crypto.v.timing

Require Import Crypto.Bedrock.Standalone.StandaloneJsOfOCamlMain.
Import Bedrock2Later.

Extraction "src/ExtractionJsOfOCaml/with_bedrock2_fiat_crypto.tmp" FiatCrypto.main.