LlvmSledgeFrontendStubs.LlvmSledgeFrontend
exception Invalid_llvm of string
val translate : ?dump_bitcode:string -> string -> Llair.program