void load_sounds ();
void play_sound(short which) ; // if < 0, play asynch
void force_play_sound(short which);
void sound_pause(long len);