725     } else {

   725     } else {

   726         return NULL;

   726         return NULL;

   727     }

   727     }

   728 }

   728 }

   729 

   729 

   737 /*

   730 /*

   738  * Signature adapter for pthread_create() or thr_create().

   731  * Signature adapter for pthread_create() or thr_create().

   739  */

   732  */

   740 static void* ThreadJavaMain(void* args) {

   733 static void* ThreadJavaMain(void* args) {

   741     return (void*)(intptr_t)JavaMain(args);

   734     return (void*)(intptr_t)JavaMain(args);