pub fn read_counter_session(
    name: String,
    stop_at: u64,
    shared: SharedChannel<LinearToShared<SendValue<u64, Release>>>
) -> Session<End>