DrTypoFr (./24) :
Mais je pense que le problème vient plutôt de la compilation C par GCC que de l'émulation. Il y a notamment le pb des multiplications...

Tu peux trouver les librairies (libgcc (GCC low-level runtime library), libc, et libm) dans le package gcc 9.4.0. libgcc devrait résoudre tes soucis de multiplications.
Ou alors, comprendre pourquoi VBcc te pose problème avec Vlink.