This function is called from within call_table if the formal parameter is just an ordinary variable. How should the binding proceed? Easy: just (recursively) evaluate the actual argument and bind it to the formal argument in the dictionary. That's all. This is just normal call-by-value parameter passing.