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