public static extern int5 mono_return_int5(int5 s, int addend);
public static extern int mono_return_int5 (int5 s, int addend);
public static extern int5 mono_return_int5(int5 s, int addend);
public static extern int mono_return_int5 (int5 s, int addend);