h.hello
h.return
<invariant>
