public static extern float9 mono_return_float9 (float9 s, int addend);
public static extern float9 mono_return_float9(float9 s, int addend);
public static extern float9 mono_return_float9 (float9 s, int addend);
public static extern float9 mono_return_float9(float9 s, int addend);