Reply To: Inter-process Communication

When performing IPC, how does the caller specify how many return values to expect from the callee?

For example, let’s say that the caller expects the (untrusted) callee to return exactly one value. If the callee ends up returning two values, then both values would end up on the caller’s belt, and it would interpret the first returned value as the return value of the function and the second return value would be interpreted as the result of a previous instruction, right?

How does the mill’s IPC mechanism work around this?

Thanks!