object
  method queueInstr : Cil.instr list -> unit
  method unqueueInstr : unit -> Cil.instr list
  method vattr : Cil.attribute -> Cil.attribute list Cil.visitAction
  method vattrparam : Cil.attrparam -> Cil.attrparam Cil.visitAction
  method vblock : Cil.block -> Cil.block Cil.visitAction
  method vexpr : Cil.exp -> Cil.exp Cil.visitAction
  method vfunc : Cil.fundec -> Cil.fundec Cil.visitAction
  method vglob : Cil.global -> Cil.global list Cil.visitAction
  method vinit :
    Cil.varinfo -> Cil.offset -> Cil.init -> Cil.init Cil.visitAction
  method vinitoffs : Cil.offset -> Cil.offset Cil.visitAction
  method vinst : Cil.instr -> Cil.instr list Cil.visitAction
  method vlval : Cil.lval -> Cil.lval Cil.visitAction
  method voffs : Cil.offset -> Cil.offset Cil.visitAction
  method vstmt : Cil.stmt -> Cil.stmt Cil.visitAction
  method vtype : Cil.typ -> Cil.typ Cil.visitAction
  method vvdec : Cil.varinfo -> Cil.varinfo Cil.visitAction
  method vvrbl : Cil.varinfo -> Cil.varinfo Cil.visitAction
end