Barrapunto

Pues la verdad es que no X-D El código en ese caso acaba junto con el resto del código, típicamente en la sección de código ejecutable.

Puedes verlo si la desensamblas, y puedes ver también que no aparece el código de las bibliotecas por ninguna parte. En Linux podría ser:

~$ objdump -d -j .text a.out

Verás que las llamadas a función aparece como call blablabla@plt. ¿En blablabla@plt está el código de la biblioteca? Compruébalo tú mismo:

~$ objdump -d -j .plt a.out

¿Sabes? A veces la mejor forma de salir de un hoyo no es seguir cavando :-)