Thread 1 killed on uncaught exception Uncaught_exception_handler.CallbackExn
Raised at Uncaught_exception_handler.fn in file "uncaught_exception_handler.ml", lines 28-30, characters 12-45
Called from Thread.create.(fun) in file "thread.ml", line 48, characters 8-14
[thread 2] caught Uncaught_exception_handler.CallbackExn
Raised at Uncaught_exception_handler.fn in file "uncaught_exception_handler.ml", lines 28-30, characters 12-45
Called from Thread.create.(fun) in file "thread.ml", line 48, characters 8-14
Thread 2 killed on uncaught exception Uncaught_exception_handler.CallbackExn
Raised at Uncaught_exception_handler.fn in file "uncaught_exception_handler.ml", lines 28-30, characters 12-45
Called from Thread.create.(fun) in file "thread.ml", line 48, characters 8-14
Thread 2 uncaught exception handler raised Uncaught_exception_handler.UncaughtHandlerExn
Raised at Uncaught_exception_handler.handler in file "uncaught_exception_handler.ml", line 26, characters 2-17
Called from Thread.create.(fun) in file "thread.ml", line 57, characters 10-41
[thread 3] caught Uncaught_exception_handler.CallbackExn
Raised at Uncaught_exception_handler.fn in file "uncaught_exception_handler.ml", lines 28-30, characters 12-45
Called from Thread.create.(fun) in file "thread.ml", line 48, characters 8-14