4 typedef int score_lock_t
;
6 void rewrite_score_file(void);
7 int high_score(uint64_t score
);
8 void add_high_score(char *name
, uint64_t score
);
9 score_lock_t
lock_scores(void);
10 void unlock_scores(score_lock_t
);
11 void high_scores_init(void);
13 void debug_print_high_scores(void);
