Turbulence in a separated boundary layer