val align : int -> unitval byte : X86_ast.constant -> unitval bytes : string -> unitval cfi_adjust_cfa_offset : int -> unitval cfi_endproc : unit -> unitval cfi_startproc : unit -> unitval data : unit -> unitval extrn : string -> X86_ast.data_type -> unitval file : file_num:int -> file_name:string -> unitval global : string -> unitval indirect_symbol : string -> unitval label : ?typ:X86_ast.data_type -> string -> unitval loc : file_num:int -> line:int -> col:int -> unitval long : X86_ast.constant -> unitval mode386 : unit -> unitval model : string -> unitval private_extern : string -> unitval qword : X86_ast.constant -> unitval section : string list -> string option -> string list -> unitval setvar : (string * X86_ast.constant) -> unitval size : string -> X86_ast.constant -> unitval space : int -> unitval text : unit -> unitval type_ : string -> string -> unitval word : X86_ast.constant -> unit