method
vtypespec tspec =
update_val_incr tspec operator_tbl.tspec_tbl;
Cil
.
DoChildren
;