public static extern sbyte5 mono_return_sbyte5(sbyte5 s, int addend);
public static extern sbyte mono_return_sbyte5 (sbyte5 s, int addend);