val debug : bool ref

val doElimTemps : bool ref

val deputyAttrs : bool ref

class zraCilPrinterClass : Cil.cilPrinter

val zraCilPrinter : Cil.cilPrinter

val pp_exp : Cil.fundec -> unit -> Cil.exp -> Pretty.doc

val feature : Cil.featureDescr
