Targeted Static Analysis for OCaml C Stubs: eliminating gremlins from the code. - Edwin Török (CoRR, 2023)