Thread_sanitizer
val instrument : Cmm.expression -> Cmm.expression
val wrap_entry_exit : Cmm.expression -> Cmm.expression
val init_code : unit -> Cmm.expression