public static void unitTest_vsetlts2(GThread thread, uint[] a, uint[] b, uint[] c)
 {
     c[0] = thread.vsetlts2(a[0], b[0]);
 }