> (3) is tricky though, not sure how to do that without return values?
> Question is: can we do without?
I think so. People could design the "return value" as something expected as a side effect of the call ? e.g. the value of a record field could get modified in the bodies and then inspected after.
Jon