les buitins c'est des bouts de code rajoutes en dur par le compilo parce que le C ne sait pas le faire. genre alloca, qui fait un malloc dans la pile et n'a pas besoin de free (c'est libere quand le stack frame saute) jardine dans la pile, donc pour que ce soit portable, on fait un __builtin_alloca() et quand il le voit, le compilo lui meme remplace cet appel par le code kivabien.