public static extern double mono_return_double6(double6 s, int addend);
public static extern double6 mono_return_double6 (double6 s, int addend);
public static extern double mono_return_double6(double6 s, int addend);
public static extern double6 mono_return_double6 (double6 s, int addend);