let is_ptr_ltype ltype = match ltype with
  | Ctype t when Cil.isPointerType t -> true
  | _ -> false