void init_sounds(void); void play_sound(int id, int channel);