sig
  val pp_exp : Format.formatter -> Cil_types.exp -> unit
  val pp_lval : Format.formatter -> Cil_types.lval -> unit
end