method vstmt_aux s =
    !Db.progress ();
    super#vstmt_aux s