void stop_tux(); /**< called when Tux has reached his final position */
void stop(); /**< stop playing EndSequence, mark it as done playing */
bool is_tux_stopped(); /**< returns true if Tux has reached his final position */
void stop_tux(); /**< called when Tux has reached his final position */
void stop(); /**< stop playing EndSequence, mark it as done playing */
bool is_tux_stopped(); /**< returns true if Tux has reached his final position */