public static void unitTest_vnegss2(GThread thread, uint[] a, uint[] c) { c[0] = thread.vnegss2(a[0]); }