70   where loop !s !n | n == bytes = mempty  function
75   where loop s n | s `seq` n `seq` False = undefined  function
83   where loop s n | s `seq` n `seq` False = undefined  function
93   where loop s n | s `seq` n `seq` False = undefined  function
107   where loop s n | s `seq` n `seq` False = undefined  function
132   where loop s n | s `seq` n `seq` False = undefined  function
139   where loop s n | s `seq` n `seq` False = undefined  function
147   where loop s n | s `seq` n `seq` False = undefined  function
157   where loop s n | s `seq` n `seq` False = undefined  function
171   where loop s n | s `seq` n `seq` False = undefined  function
196   where loop s n | s `seq` n `seq` False = undefined  function
203   where loop s n | s `seq` n `seq` False = undefined  function
211   where loop s n | s `seq` n `seq` False = undefined  function
221   where loop s n | s `seq` n `seq` False = undefined  function
235   where loop s n | s `seq` n `seq` False = undefined  function
260   where loop s n | s `seq` n `seq` False = undefined  function
267   where loop s n | s `seq` n `seq` False = undefined  function
275   where loop s n | s `seq` n `seq` False = undefined  function
285   where loop s n | s `seq` n `seq` False = undefined  function
299   where loop s n | s `seq` n `seq` False = undefined  function
323   where loop s n | s `seq` n `seq` False = undefined  function
330   where loop s n | s `seq` n `seq` False = undefined  function
338   where loop s n | s `seq` n `seq` False = undefined  function
348   where loop s n | s `seq` n `seq` False = undefined  function
362   where loop s n | s `seq` n `seq` False = undefined  function
386   where loop s n | s `seq` n `seq` False = undefined  function
393   where loop s n | s `seq` n `seq` False = undefined  function
401   where loop s n | s `seq` n `seq` False = undefined  function
411   where loop s n | s `seq` n `seq` False = undefined  function
425   where loop s n | s `seq` n `seq` False = undefined  function
449   where loop s n | s `seq` n `seq` False = undefined  function
456   where loop s n | s `seq` n `seq` False = undefined  function
464   where loop s n | s `seq` n `seq` False = undefined  function
474   where loop s n | s `seq` n `seq` False = undefined  function
488   where loop s n | s `seq` n `seq` False = undefined  function
512   where loop s n | s `seq` n `seq` False = undefined  function
519   where loop s n | s `seq` n `seq` False = undefined  function
527   where loop s n | s `seq` n `seq` False = undefined  function
537   where loop s n | s `seq` n `seq` False = undefined  function
551   where loop s n | s `seq` n `seq` False = undefined  function
575   where loop s n | s `seq` n `seq` False = undefined  function
582   where loop s n | s `seq` n `seq` False = undefined  function
590   where loop s n | s `seq` n `seq` False = undefined  function
600   where loop s n | s `seq` n `seq` False = undefined  function
614   where loop s n | s `seq` n `seq` False = undefined  function
638   where loop s n | s `seq` n `seq` False = undefined  function
645   where loop s n | s `seq` n `seq` False = undefined  function
653   where loop s n | s `seq` n `seq` False = undefined  function
663   where loop s n | s `seq` n `seq` False = undefined  function
677   where loop s n | s `seq` n `seq` False = undefined  function