该程序调用时，系统需要保存当前函数的执行状态，包括局部变量、参数、返回地址等信息，以便在函数执行完毕后能够正确返回到调用函数的位置。为了实现这一功能，系统使用栈来保存必要信息。栈是一种后进先出的数据结构，可以方便地保存和恢复函数执行状态。当函数被调用时，系统将当前函数的状态压入栈中，当函数执行完毕后，系统从栈中弹出保存的状态，恢复调用函数的执行状态。这样就能够实现函数调用的嵌套和返回。