Add Pervasives.while