public static extern short5 mono_return_short5(short5 s, int addend);
public static extern short5 mono_return_short5 (short5 s, int addend);
public static extern short5 mono_return_short5(short5 s, int addend);
public static extern short5 mono_return_short5 (short5 s, int addend);