between = () {
               select ()
               {
                 case 0 < x < 1: return 1;
                 case x == 0 | x == 1: return 0;
               }
               else
               {
                 error (ERR_BOUNDS);
               }
             };
