oki.

mais ce sont des symboles normaux, qui commandent le linker au lieu d'utiliser des options de ligne de commande.