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