Cómo encuentran las funciones vararg la cantidad de argumentos en el código de máquina?

¿Cómo pueden funciones variadas como printf averiguar el número de argumentos que obtuvieron?

a cantidad de argumentos obviamente no se pasa como un parámetro (oculto) (vea uncall to printf en el ejemplo de asm aquí).

¿Cuál es el truco