public static void main(java.lang.String[] args) {
   Tests.init();
   run();
   Tests.conclude();
 }