external backtrace : unit -> string array = "caml_extunix_backtrace"