Lecture 2 - Slide 20 : 29
Value return

The semantics of value return is that of initialization