int fun (int[] a, int[] b){ c }