public static extern short9 mono_return_short9(short9 s, int addend);
public static extern short9 mono_return_short9 (short9 s, int addend);