dcb: If `x : OutputSegments` then `&*x : &[&[Word]]`, no?