do not export "staticize"d functions
update .proverc