i am thinking of adding a panic button to my palmOS app 'theremini', for
that 'just in case' category.  but i am uncertain as to which
controllers to use.  All Notes Off (123) or All Sound Off (120) ?  i am
not sure which is the proper one to use.  any pointers?