Program gpdb_verify is taking shape ...