module Backend_intf = Magic_trace_core.Backend_intf
module Elf = Magic_trace_core.Elf
module Errno = Magic_trace_core.Errno