void main( string str ) { int i; object *usrs; usrs = USER_D->query_users(); for( i = 0; i < sizeof( usrs ); i++ ) { write( capitalize( usrs[i]->query_name() ) + " " + usrs[i]->query_player()->query_environment()->query_brief() + " " + usrs[i]->query_player()->query_environment()->base_name() + "\n" ); } }