verifypackage: early draft