public static extern double_array4 mono_return_double_array4 (double_array4 s, int addend);
public static extern double_array4 mono_return_double_array4(double_array4 s, int addend);
public static extern double_array4 mono_return_double_array4 (double_array4 s, int addend);
public static extern double_array4 mono_return_double_array4(double_array4 s, int addend);