$use StdIO Class String;

Main = { <String? <String 'ABC'>>;
         <PrintLN 'fail'>;
       },
   
       { <String? 23>;
         <PrintLN 'fail'>;
       },
       { <String? <String 'abc'> <String 'abc'>>;
         <PrintLN 'fail'>;
       };