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