Как реализованы списки аргументов переменной длины?

Что происходит внутри, когда вызывается функция, использующая varargs? Хранятся ли сами аргументы в куче или в стеке, как и любые другие аргументы. Если в стеке, как это работает?