Bonjour,

This is just that the standard library is shared by the compiler and
the user: the compiler uses the same hashtbl__add function as
you. Thus, if you trace it, you can observe that the system uses it
when opening a module! There's nothing wrong here... By the way, don't
try to trace print_string, since once more the trace package uses the
same function, thus ... it's funny.

Pierre Weis
----------------------------------------------------------------------------
Projet Cristal
INRIA, BP 105, F-78153 Le Chesnay Cedex (France)
E-mail: Pierre.Weis@inria.fr
Telephone: +33 1 39 63 55 98
----------------------------------------------------------------------------