/* This is called to free all resources allocated by @gaudio_setup().  */
void gaudio_cleanup(void)
/* This is called to free all resources allocated by @gaudio_setup().  */
void gaudio_cleanup(void)
{
	if (the_card) {
		gaudio_close_snd_dev(the_card);
		the_card = NULL;
	}
}