public static extern sbyte9 mono_return_sbyte9(sbyte9 s, int addend);
public static extern sbyte mono_return_sbyte9 (sbyte9 s, int addend);