This makes me wondering, how can one follow every detail in a large program.

Too many variables and chances are something will go wrong.

Ioannis