Source position: gnomescores.inc line 36
procedure gnome_scores_set_current_player(
gs: PGnomeScores;
i: gint
);