void load_sounds ();
void play_sound(short which) ; // if < 0, play asynch
void force_play_sound(short which);
void one_sound(short which);
void clear_sound_memory();
void flip_sound();