• expression state at time t = "call_function_begin"
• Value Stack at time t = [ [ evaluated_value, [ evaluated_key, [ ] ] ], stack ]
• the expression at time t = entry key: value

then Value Stack at time (t + 1) = stack