"public static native int [] f(@NonNull int [] a0)";