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