module Zrapp: sig .. end
sig
end
val debug : bool Pervasives.ref
bool Pervasives.ref
val get_comments : Cil_types.location -> string list
Cil_types.location -> string list