> Const char* const means that the characters are constant and the pointer > is constant (the second const). I meant: why the symbols are no more made public by the compiler ? -- Sylvain Joyeux