$use String StdIO;

Main =  <String-Length 'a' >;