 The first call of codice_18 inside codice_5 evaluates to this context with codice_53 = codice_54 replacing the hole, so the value of codice_55 is codice_56 = codice_46.The body of codice_5, namely codice_59 = codice_60, becomes the overall value of the codice_6 expression as the final result.Making this example more complicated, add a line