Timings for 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/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/fiat_crypto.v.timing

Require Import Crypto.StandaloneJsOfOCamlMain.

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