public static extern double2_nested mono_return_double2_nested(double2_nested s, int addend);
public static extern double2_nested mono_return_double2_nested (double2_nested s, int addend);