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