Title: On the Validation of a Code and a Turbulence Model Appropriate to Circulation Control Airfoils