void init_sound (void);
void play_code_element (int);
int open_audio_device (char *, int);