And here's the kicker, they don't even implement a verified printf
how is that write() and puts() an UB???
>>106555944They aren't provided by the interpreters' runtime library, the printf that runs here is implemented in ocaml