Hum... si.
Perso, je préferais que toute la vérif sémantique soit fait au niveau du "compilo" (enfin de ce qu'il en restera) ETP. Il faudrait rien laisser au compilo C comme on ne laisserait rien à l'assembleur quand on génère de l'asm.