@leostera No, but I think that should get me somewhere close.
For my specific project I want to make the proglang to bytecode bit in OCaml and the bytecode interpreter part in C. I am actually not sure if LLVM is efficient enough for microcontrollers (although if I am to look at TinyGo, it should be good for my purposes too)