method vspec spec =
let reserved rstr =
update_val_incr rstr operator_tbl.reserved_tbl;
in
let do_spec s =
match s with
| SpecTypedef -> reserved "typedef"
| SpecInline -> reserved "inline"
| SpecStorage AUTO -> reserved "auto"
| SpecStorage STATIC -> reserved "static"
| SpecStorage EXTERN -> reserved "extern"
| SpecStorage REGISTER -> reserved "register"
| SpecCV CV_CONST -> reserved "const"
| SpecCV CV_VOLATILE -> reserved "volatile"
| SpecCV CV_RESTRICT -> reserved "restrict"
| _ -> ()
in List.iter do_spec spec; Cil.DoChildren;