h.hello
w.hello
w.return
h.return
w.cruel
<invariant>
