CCured in the real world