section7 :: Parser Section7
section7 = anyWord32 >>= \len ->
           word8 7 *>
           (Section7 <$> take (fromIntegral len - 5))
section7 :: Parser Section7
section7 = anyWord32 >>= \len ->
           word8 7 *>
           (Section7 <$> take (fromIntegral len - 5))
section7 = anyWord32 >>= \len ->
           word8 7 *>
           (Section7 <$> take (fromIntegral len - 5))