public static extern sbyte12 mono_return_sbyte12(sbyte12 s, int addend);
public static extern sbyte mono_return_sbyte12 (sbyte12 s, int addend);