Parameter Context.H

val visit_load : ([ `Mem ], string, Memory.t) Binsec.Term.t -> unit
val visit_ax : Memory.t -> unit