(header ((client) end_of_trail_interface_action provides) ((sut) end_of_trail_interface_action interface))
(state ((client)) ((sut)))
<external>.hello -> ...
... -> sut.hello
(state ((client)) ((sut)))
(trail "hello")
(labels "cruel" "world")
(eligible "cruel" "world")
