function saturation input Real x; input Real x_min; input Real x_max; output Real x_sat; end saturation;