terminal.c should call the frontend beep() routine even with