Parameter Make.Env

val lookup : string -> int -> Libsse.Script.LValue.t
val lookup_symbol : string -> Binsec.Dba.Var.Tag.attribute -> Script.Expr.t
val wordsize : int
val endianness : Binsec.Machine.endianness