method vstmt s =
    Db.Value.update_table s Cvalue.Model.top;
    Cil.DoChildren