Create.ReadMem
type t = Dba2CodexC.Domain.Context.t * Dba2CState.State.t
val read_u8 : t -> Binsec.Virtual_address.t -> Binsec.Loader_types.u8
val read_u32 : t -> Binsec.Virtual_address.t -> Binsec.Loader_types.u32
val read_u64 : t -> Binsec.Virtual_address.t -> Binsec.Loader_types.u64