Folco (./5) :
Ca, c'est relativement précis, mais est-ce que la longueur de libname est vérifiée ?

Non, il est juste vérifié que le nom du symbole ne commence pas par "_", "." ou "L_" (labels internes ou locaux).

Ca, c'est beaucoup moins précis, le nombre de digits hexa est spécifié ?

Non, le nombre de chiffres peut être quelconque.

Si ce n'est pas spécifié, c'est que la taille n'est pas fixe.