void write__ResultSet ( in TabularResults::ResultSet rs );
void write__ResultSets ( in TabularResults::ResultSets rss );