Program gpdb_verify is gaining shape ...