19.3 Module Pervasives: the initially opened module