fn pop_call_stack<Z: ZkappApplication>(
s: &Z::CallStack,
w: &mut Z::WitnessGenerator,
) -> (Z::StackFrame, Z::CallStack)
fn pop_call_stack<Z: ZkappApplication>(
s: &Z::CallStack,
w: &mut Z::WitnessGenerator,
) -> (Z::StackFrame, Z::CallStack)