"The routine B return may reference data, such as the status of the returning function, that must also be transferred to the messaging kernel layer A'." . . . .