do_play_sound     281 src/sound.c    static int do_play_sound (const char *, unsigned long);
do_play_sound    1461 src/sound.c      (void)do_play_sound (SSDATA (file), ui_volume);