static aatree_ptr highscores_push_record( highscore_record *record );
static void highscores_board_generate( char *buf, u32 id, u32 count );
static void highscores_init( u32 pool_size, u32 playerinfo_pool_size );
static aatree_ptr highscores_push_record( highscore_record *record );
static void highscores_board_generate( char *buf, u32 id, u32 count );
static void highscores_init( u32 pool_size, u32 playerinfo_pool_size );