//  music.h


//  Sound Manager interface

void playressound(int ID);
void playnamedsound(const char *S);