Velocity probability density functions of high Reynolds number turbulence