(* Si la fonction n'est pas malloc et provient d'une libriaire (de C par ex) alors la convention est la suivante: valeur de retour dans eax (et pas rax). *) if not(List.mem g (!definedFun)) && not (g = "malloc") then begin if !debug then fprintf out "# Hack pour fonctions de la lib standard..\n"; fprintf out "\tmovslq\t%%eax, %%rax\n"; end;