val vof_program: Ast_c.program -> Ocaml.v
val vof_any: Ast_c.any -> Ocaml.v

(* used by meta_ast_cil.ml *)
val vof_type_: Ast_c.type_ -> Ocaml.v