Function quarter_stream_id 

pub fn quarter_stream_id(stream_id: u64) -> u64

The Quarter Stream ID identifying the session on stream_id.

RFC 9297 §2.1: request streams are the client-initiated bidirectional streams, whose ids are multiples of four, so dividing by four loses nothing.