$ dune build bin/hello_world.exe
$ reanalyze.exe -exception-cmt _build/ -debug
  Scanning _build/default/lib/.mylib.objs/byte/mylib__Lib.cmt Source:lib/lib.ml
  Scanning _build/default/bin/.hello_world.eobjs/byte/dune__exe__Hello_world.cmt Source:bin/hello_world.ml
  Scanning _build/default/otherlib/.myotherlib.objs/byte/myotherlib__Lib.cmt Source:otherlib/lib.ml
  
  Events combine: #events 1
  lib.ml:3:28 raises  Bad

  
  Events combine: #events 1
  lib.ml:5:13 Call(trace, modulePath:) 

  
  Events combine: #events 3
  hello_world.ml:7:2 Call(Stdlib.print_endline, modulePath:) 

  hello_world.ml:6:10 Call(Myotherlib.Lib.other_trace, modulePath:) 

  hello_world.ml:5:10 Call(Mylib.Lib.trace, modulePath:) 


  Exception Analysis
  File "./bin/hello_world.ml", line 4, characters 4-6
  () might raise OtherBad (hello_world.ml:6:10) and is not annotated with @raises OtherBad
  
  Events combine: #events 1
  lib.ml:3:39 raises  OtherBad

  
  Events combine: #events 1
  lib.ml:5:19 Call(other_trace, modulePath:) 


  Exception Analysis
  File "./otherlib/lib.ml", line 5, characters 4-13
  other_foo might raise OtherBad (lib.ml:5:19) and is not annotated with @raises OtherBad
  
  Analysis reported 2 issues (Exception Analysis:2)
$ dune exec bin/hello_world.exe
Fatal error: exception Mylib.Lib.Bad