pub fn merge_session_invariants(_: &[u8])