ferrite_session
pub fn session_1<P, F>(cont: F) -> Session<P> where P: Protocol, F: FnOnce(Z) -> PartialSession<(Empty, ()), P>,