The variable part of a message is a list of typed data items. Each entry in the list has a type, size, and value.
The type of the objects specified in the message is important, since objects defined by the operating system—such as ownership or receive access rights, task states,
and memory segments—may be sent in messages.