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