object
  method is_atomic_lv : Memory.lval -> bool
  method pp_addr : Format.formatter -> Memory.lval -> unit
  method virtual pp_atom : Format.formatter -> Lang.F.term -> unit
  method pp_chunk : Format.formatter -> string -> unit
  method virtual pp_flow : Format.formatter -> Lang.F.term -> unit
  method pp_host : Format.formatter -> Memory.host -> unit
  method pp_label : Format.formatter -> Pcfg.label -> unit
  method pp_lval : Format.formatter -> Memory.lval -> unit
  method pp_offset : Format.formatter -> Memory.offset list -> unit
  method pp_ofs : Format.formatter -> Memory.offset -> unit
end