X86_proc
val string_of_reg8l : X86_ast.reg64 -> string
val string_of_reg8h : X86_ast.reg8h -> string
val string_of_reg16 : X86_ast.reg64 -> string
val string_of_reg32 : X86_ast.reg64 -> string
val string_of_reg64 : X86_ast.reg64 -> string
val string_of_registerf : X86_ast.registerf -> string
val string_of_condition : X86_ast.condition -> string
val string_of_rounding : X86_ast.rounding -> string
val buf_bytes_directive : Buffer.t -> string -> string -> unit
val emit : X86_ast.instruction -> unit
val directive : X86_ast.asm_line -> unit
val generate_code : (X86_ast.asm_line list -> unit) option -> unit
val system : system
val register_internal_assembler :
(X86_ast.asm_program -> string -> unit) ->
unit
val with_internal_assembler :
(X86_ast.asm_program -> string -> unit) ->
(unit -> 'a) ->
'a