+ do v ← if S.isNothing (wpsWVCBlock wps) ∧ bfMono flags then
+ -- handle lossless or hybrid lossy mono data
+ fail "FIXME: unsupported stream type: monaural stream"
+ else
+ if S.isNothing (wpsWVCBlock wps) ∧ (¬) (bfMono flags) then
+ -- handle lossless or hybrid lossy stereo data
+ do v ← if bfHybrid flags then
+ fail "FIXME: unsupported stream type: lossy stereo stream"
+ else
+ getWordsLossless
+ (bfMono flags)
+ (wpsWordsData wps)
+ (wpsWVBits wps)
+ nSamples
+ error "FIXME"
+ return v
+ else
+ error "FIXME"
+ error "FIXME"
+ return v