void play_gtp(FILE* gtp_input, FILE* gtp_output, FILE* gtp_dump_commands,
int gtp_initial_orientation);
void play_gmp(Gameinfo* gameinfo, int simplified);
void play_gtp(FILE* gtp_input, FILE* gtp_output, FILE* gtp_dump_commands,
int gtp_initial_orientation);
void play_gmp(Gameinfo* gameinfo, int simplified);