public static extern sbyte17 mono_return_sbyte17(sbyte17 s, int addend);
public static extern sbyte mono_return_sbyte17 (sbyte17 s, int addend);