Add test of Pervasives._