More functions from Pervasives