error: invariant violation in model variant_defer
model: variant_defer
h.hello
h.return
<invariant>
