#include #include void player_finalize(FILE *, ddPlayer *);