74   where loop !s !n | n == bytes = return ()  function
80   where loop s n | s `seq` n `seq` False = undefined  function
89   where loop s n | s `seq` n `seq` False = undefined  function
100   where loop s n | s `seq` n `seq` False = undefined  function
115   where loop s n | s `seq` n `seq` False = undefined  function
141   where loop s n | s `seq` n `seq` False = undefined  function
148   where loop s n | s `seq` n `seq` False = undefined  function
157   where loop s n | s `seq` n `seq` False = undefined  function
168   where loop s n | s `seq` n `seq` False = undefined  function
183   where loop s n | s `seq` n `seq` False = undefined  function
209   where loop s n | s `seq` n `seq` False = undefined  function
216   where loop s n | s `seq` n `seq` False = undefined  function
225   where loop s n | s `seq` n `seq` False = undefined  function
236   where loop s n | s `seq` n `seq` False = undefined  function
251   where loop s n | s `seq` n `seq` False = undefined  function
277   where loop s n | s `seq` n `seq` False = undefined  function
284   where loop s n | s `seq` n `seq` False = undefined  function
293   where loop s n | s `seq` n `seq` False = undefined  function
304   where loop s n | s `seq` n `seq` False = undefined  function
319   where loop s n | s `seq` n `seq` False = undefined  function
344   where loop s n | s `seq` n `seq` False = undefined  function
351   where loop s n | s `seq` n `seq` False = undefined  function
360   where loop s n | s `seq` n `seq` False = undefined  function
371   where loop s n | s `seq` n `seq` False = undefined  function
386   where loop s n | s `seq` n `seq` False = undefined  function
411   where loop s n | s `seq` n `seq` False = undefined  function
418   where loop s n | s `seq` n `seq` False = undefined  function
427   where loop s n | s `seq` n `seq` False = undefined  function
438   where loop s n | s `seq` n `seq` False = undefined  function
453   where loop s n | s `seq` n `seq` False = undefined  function
478   where loop s n | s `seq` n `seq` False = undefined  function
485   where loop s n | s `seq` n `seq` False = undefined  function
494   where loop s n | s `seq` n `seq` False = undefined  function
505   where loop s n | s `seq` n `seq` False = undefined  function
520   where loop s n | s `seq` n `seq` False = undefined  function
545   where loop s n | s `seq` n `seq` False = undefined  function
552   where loop s n | s `seq` n `seq` False = undefined  function
561   where loop s n | s `seq` n `seq` False = undefined  function
572   where loop s n | s `seq` n `seq` False = undefined  function
587   where loop s n | s `seq` n `seq` False = undefined  function
612   where loop s n | s `seq` n `seq` False = undefined  function
619   where loop s n | s `seq` n `seq` False = undefined  function
628   where loop s n | s `seq` n `seq` False = undefined  function
639   where loop s n | s `seq` n `seq` False = undefined  function
654   where loop s n | s `seq` n `seq` False = undefined  function
679   where loop s n | s `seq` n `seq` False = undefined  function
686   where loop s n | s `seq` n `seq` False = undefined  function
695   where loop s n | s `seq` n `seq` False = undefined  function
706   where loop s n | s `seq` n `seq` False = undefined  function
721   where loop s n | s `seq` n `seq` False = undefined  function