sig
val lval : loc:Cil_types.location -> Cil_types.lval -> Cil_types.exp
val deref : loc:Cil_types.location -> Cil_types.exp -> Cil_types.exp
val subscript :
loc:Cil_types.location -> Cil_types.exp -> Cil_types.exp -> Cil_types.exp
val ptr_sizeof : loc:Cil_types.location -> Cil_types.typ -> Cil_types.exp
end