Function expect_message 

pub fn expect_message(
    args: &[Value],
    index: usize,
    fn_name: &str,
) -> Result<Message, Fault>

Require args[index] to be a crate::Message.

Used by the std msg_* natives. A wrong type becomes Fault::NativeError (category B — Flow fault), not a host panic.