Пятнадцать байтов на стек от конца

Да, но надо учесть, что x2...xN тоже в свою очередь есть функции от предыдущих вводов и выводов:

x2 = g1(x1,f(x1))
x3 = g2(x1,x2,f1(x1),f2(x1,x2))

и так далее. Здесь g1(), g2() и т.д. есть реакция юзера на поведение процедуры.

То есть имеем два дискретных ряда функций со взаимной зависимостью.