C'est bon, je pense avoir trouvé (et corrigé) le bug du ./38.
En tout cas, l'exemple gen6.c ne plante plus (et genlib fait 6 octets de moins ).