$use StdIO Bit;
Main = {<PrintLN <Bit-Test 1 1>>; <PrintLN 'failed branch 1'>;
       },
       { <PrintLN <Bit-Test 21 3>>; <PrintLN 'failed branch 2'>;
       };