/* This file is part of the Simba project.  */
int mock_write_math_radians_to_degrees(float value, float res)
/* This file is part of the Simba project.  */
int mock_write_math_radians_to_degrees(float value, float res)
{
    harness_mock_write("math_radians_to_degrees(value)",
                       &value,
                       sizeof(value));
    harness_mock_write("math_radians_to_degrees(): return (res)",
                       &res,
                       sizeof(res));
    return (0);
}