In your point 4) I assume you are referring to this tool?<p><a href="https:&#x2F;&#x2F;github.com&#x2F;ocaml-bytes&#x2F;ocamlcc" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;ocaml-bytes&#x2F;ocamlcc</a>