X86_extra.Eval error : Expr.instr_info -> string -> Compiler_util.pp_error_locval se_update_arguments : Expr.instr_info -> Compiler_util.pp_error_locval se_protect_arguments : Expr.instr_info -> Compiler_util.pp_error_locval se_protect_ptr : Expr.instr_info -> Compiler_util.pp_error_loc