game_params *(*default_params)(void);
int (*fetch_preset)(int i, char **name, game_params **params);
game_params *(*decode_params)(char const *string);
char *(*encode_params)(game_params *);
void (*free_params)(game_params *params);
game_params *(*dup_params)(game_params *params);
game_params *(*default_params)(void);
int (*fetch_preset)(int i, char **name, game_params **params);
game_params *(*decode_params)(char const *string);
char *(*encode_params)(game_params *);
void (*free_params)(game_params *params);
game_params *(*dup_params)(game_params *params);