Robuta

https://pure.psu.edu/en/publications/debugopt-debugging-fully-optimized-natively-compiled-programs-usi/ Debugopt: Debugging fully optimized natively compiled programs using multistage instrumentation -... compiled programs debugging fully optimized natively https://lists.debian.org/debian-ocaml-maint/2008/09/msg00021.html Bug#256900: Ocaml compiled programs cannot be stripped compiled programs bug ocaml cannot stripped