pub fn read_counter_session_2(
    shared_counter: &SharedChannel<LinearToShared<SendValue<u64, Release>>>
) -> Session<End>