Il faut déjà qu'il déclare kernel_Exec. Il ne le trouvera pas dans TIGCCLIB en tout cas. En _nostub, il n'a que l'exemple à copier-coller. Et dans ton code, il manque aussi le passage de l'argument.