bind-marshal-0.1: test/TestCases/BinaryCase11.hs
{-# LANGUAGE NoRebindableSyntax #-}
{-# LANGUAGE ImplicitPrelude #-}
module TestCases.BinaryCase11 where
import Control.Applicative
import Control.DeepSeq
import Control.Monad
import Data.Binary.Put
import Data.Binary.Get
import qualified Data.ByteString.Lazy as BS
import qualified Data.ByteString.Lazy.Internal as L
import qualified Data.ByteString.Internal as S
import Data.Monoid
import ArbMarshal
import ArbMarshal.GenCode.Utils
import Data.Word
des_static_structure = do
v_0 :: Word8 <- getWord8
70 :: Word8 <- getWord8
20140 :: Word16 <- getWord16be
4 :: Word8 <- getWord8
v_1 :: Word32 <- getWord32be
v_2 :: Word8 <- getWord8
v_3 :: Word32 <- getWord32be
v_4 :: Word8 <- getWord8
v_5 :: Word8 <- getWord8
v_6 :: Word32 <- getWord32be
v_7 :: Word8 <- getWord8
v_8 :: Word16 <- getWord16be
9 :: Word8 <- getWord8
v_9 :: Word32 <- getWord32be
44272 :: Word16 <- getWord16be
11775 :: Word16 <- getWord16be
33551 :: Word16 <- getWord16be
v_10 :: Word16 <- getWord16be
v_11 :: Word8 <- getWord8
v_12 :: Word16 <- getWord16be
v_13 :: Word8 <- getWord8
200 :: Word8 <- getWord8
v_14 :: Word8 <- getWord8
v_15 :: Word32 <- getWord32be
v_16 :: Word8 <- getWord8
2247970354 :: Word32 <- getWord32be
v_17 :: Word16 <- getWord16be
63013 :: Word16 <- getWord16be
v_18 :: Word32 <- getWord32be
v_19 :: Word32 <- getWord32be
3542619027 :: Word32 <- getWord32be
v_20 :: Word32 <- getWord32be
v_21 :: Word16 <- getWord16be
v_22 :: Word32 <- getWord32be
v_23 :: Word8 <- getWord8
101 :: Word8 <- getWord8
117 :: Word8 <- getWord8
v_24 :: Word32 <- getWord32be
45565 :: Word16 <- getWord16be
v_25 :: Word32 <- getWord32be
36576 :: Word16 <- getWord16be
1087476255 :: Word32 <- getWord32be
45826 :: Word16 <- getWord16be
3691786044 :: Word32 <- getWord32be
11034 :: Word16 <- getWord16be
v_26 :: Word8 <- getWord8
v_27 :: Word32 <- getWord32be
v_28 :: Word32 <- getWord32be
1631965023 :: Word32 <- getWord32be
v_29 :: Word8 <- getWord8
v_30 :: Word8 <- getWord8
3460574868 :: Word32 <- getWord32be
26731 :: Word16 <- getWord16be
55130 :: Word16 <- getWord16be
v_31 :: Word16 <- getWord16be
22 :: Word8 <- getWord8
137 :: Word8 <- getWord8
36665 :: Word16 <- getWord16be
61614 :: Word16 <- getWord16be
v_32 :: Word16 <- getWord16be
v_33 :: Word8 <- getWord8
v_34 :: Word8 <- getWord8
4535 :: Word16 <- getWord16be
v_35 :: Word8 <- getWord8
4674 :: Word16 <- getWord16be
v_36 :: Word32 <- getWord32be
4185831643 :: Word32 <- getWord32be
v_37 :: Word16 <- getWord16be
4193677881 :: Word32 <- getWord32be
v_38 :: Word32 <- getWord32be
v_39 :: Word8 <- getWord8
v_40 :: Word8 <- getWord8
13061 :: Word16 <- getWord16be
194 :: Word8 <- getWord8
v_41 :: Word32 <- getWord32be
235 :: Word8 <- getWord8
3183868286 :: Word32 <- getWord32be
58861 :: Word16 <- getWord16be
2798 :: Word16 <- getWord16be
v_42 :: Word16 <- getWord16be
v_43 :: Word32 <- getWord32be
3303353037 :: Word32 <- getWord32be
34 :: Word8 <- getWord8
226 :: Word8 <- getWord8
v_44 :: Word16 <- getWord16be
v_45 :: Word8 <- getWord8
v_46 :: Word32 <- getWord32be
1141278250 :: Word32 <- getWord32be
v_47 :: Word16 <- getWord16be
v_48 :: Word8 <- getWord8
107 :: Word8 <- getWord8
338863384 :: Word32 <- getWord32be
170 :: Word8 <- getWord8
return [ Word8Value v_0 , Word32Value v_1 , Word8Value v_2 , Word32Value v_3 , Word8Value v_4 , Word8Value v_5 , Word32Value v_6 , Word8Value v_7 , Word16Value v_8 , Word32Value v_9 , Word16Value v_10 , Word8Value v_11 , Word16Value v_12 , Word8Value v_13 , Word8Value v_14 , Word32Value v_15 , Word8Value v_16 , Word16Value v_17 , Word32Value v_18 , Word32Value v_19 , Word32Value v_20 , Word16Value v_21 , Word32Value v_22 , Word8Value v_23 , Word32Value v_24 , Word32Value v_25 , Word8Value v_26 , Word32Value v_27 , Word32Value v_28 , Word8Value v_29 , Word8Value v_30 , Word16Value v_31 , Word16Value v_32 , Word8Value v_33 , Word8Value v_34 , Word8Value v_35 , Word32Value v_36 , Word16Value v_37 , Word32Value v_38 , Word8Value v_39 , Word8Value v_40 , Word32Value v_41 , Word16Value v_42 , Word32Value v_43 , Word16Value v_44 , Word8Value v_45 , Word32Value v_46 , Word16Value v_47 , Word8Value v_48 ]
ser_static_structure vs = do
let [ Word8Value v_0 , Word32Value v_1 , Word8Value v_2 , Word32Value v_3 , Word8Value v_4 , Word8Value v_5 , Word32Value v_6 , Word8Value v_7 , Word16Value v_8 , Word32Value v_9 , Word16Value v_10 , Word8Value v_11 , Word16Value v_12 , Word8Value v_13 , Word8Value v_14 , Word32Value v_15 , Word8Value v_16 , Word16Value v_17 , Word32Value v_18 , Word32Value v_19 , Word32Value v_20 , Word16Value v_21 , Word32Value v_22 , Word8Value v_23 , Word32Value v_24 , Word32Value v_25 , Word8Value v_26 , Word32Value v_27 , Word32Value v_28 , Word8Value v_29 , Word8Value v_30 , Word16Value v_31 , Word16Value v_32 , Word8Value v_33 , Word8Value v_34 , Word8Value v_35 , Word32Value v_36 , Word16Value v_37 , Word32Value v_38 , Word8Value v_39 , Word8Value v_40 , Word32Value v_41 , Word16Value v_42 , Word32Value v_43 , Word16Value v_44 , Word8Value v_45 , Word32Value v_46 , Word16Value v_47 , Word8Value v_48 ] = vs
putWord8 v_0
putWord8 (70 :: Word8)
putWord16be 20140
putWord8 (4 :: Word8)
putWord32be v_1
putWord8 v_2
putWord32be v_3
putWord8 v_4
putWord8 v_5
putWord32be v_6
putWord8 v_7
putWord16be v_8
putWord8 (9 :: Word8)
putWord32be v_9
putWord16be 44272
putWord16be 11775
putWord16be 33551
putWord16be v_10
putWord8 v_11
putWord16be v_12
putWord8 v_13
putWord8 (200 :: Word8)
putWord8 v_14
putWord32be v_15
putWord8 v_16
putWord32be 2247970354
putWord16be v_17
putWord16be 63013
putWord32be v_18
putWord32be v_19
putWord32be 3542619027
putWord32be v_20
putWord16be v_21
putWord32be v_22
putWord8 v_23
putWord8 (101 :: Word8)
putWord8 (117 :: Word8)
putWord32be v_24
putWord16be 45565
putWord32be v_25
putWord16be 36576
putWord32be 1087476255
putWord16be 45826
putWord32be 3691786044
putWord16be 11034
putWord8 v_26
putWord32be v_27
putWord32be v_28
putWord32be 1631965023
putWord8 v_29
putWord8 v_30
putWord32be 3460574868
putWord16be 26731
putWord16be 55130
putWord16be v_31
putWord8 (22 :: Word8)
putWord8 (137 :: Word8)
putWord16be 36665
putWord16be 61614
putWord16be v_32
putWord8 v_33
putWord8 v_34
putWord16be 4535
putWord8 v_35
putWord16be 4674
putWord32be v_36
putWord32be 4185831643
putWord16be v_37
putWord32be 4193677881
putWord32be v_38
putWord8 v_39
putWord8 v_40
putWord16be 13061
putWord8 (194 :: Word8)
putWord32be v_41
putWord8 (235 :: Word8)
putWord32be 3183868286
putWord16be 58861
putWord16be 2798
putWord16be v_42
putWord32be v_43
putWord32be 3303353037
putWord8 (34 :: Word8)
putWord8 (226 :: Word8)
putWord16be v_44
putWord8 v_45
putWord32be v_46
putWord32be 1141278250
putWord16be v_47
putWord8 v_48
putWord8 (107 :: Word8)
putWord32be 338863384
putWord8 (170 :: Word8)
return ()
static_structure = StaticStructure {properties = [Hole {byte_offset = 0, hole_type = Word8Hole},Value (Word8Value 70),Value (Word16Value 20140),Value (Word8Value 4),Hole {byte_offset = 5, hole_type = Word32Hole},Hole {byte_offset = 9, hole_type = Word8Hole},Hole {byte_offset = 10, hole_type = Word32Hole},Hole {byte_offset = 14, hole_type = Word8Hole},Hole {byte_offset = 15, hole_type = Word8Hole},Hole {byte_offset = 16, hole_type = Word32Hole},Hole {byte_offset = 20, hole_type = Word8Hole},Hole {byte_offset = 21, hole_type = Word16Hole},Value (Word8Value 9),Hole {byte_offset = 24, hole_type = Word32Hole},Value (Word16Value 44272),Value (Word16Value 11775),Value (Word16Value 33551),Hole {byte_offset = 34, hole_type = Word16Hole},Hole {byte_offset = 36, hole_type = Word8Hole},Hole {byte_offset = 37, hole_type = Word16Hole},Hole {byte_offset = 39, hole_type = Word8Hole},Value (Word8Value 200),Hole {byte_offset = 41, hole_type = Word8Hole},Hole {byte_offset = 42, hole_type = Word32Hole},Hole {byte_offset = 46, hole_type = Word8Hole},Value (Word32Value 2247970354),Hole {byte_offset = 51, hole_type = Word16Hole},Value (Word16Value 63013),Hole {byte_offset = 55, hole_type = Word32Hole},Hole {byte_offset = 59, hole_type = Word32Hole},Value (Word32Value 3542619027),Hole {byte_offset = 67, hole_type = Word32Hole},Hole {byte_offset = 71, hole_type = Word16Hole},Hole {byte_offset = 73, hole_type = Word32Hole},Hole {byte_offset = 77, hole_type = Word8Hole},Value (Word8Value 101),Value (Word8Value 117),Hole {byte_offset = 80, hole_type = Word32Hole},Value (Word16Value 45565),Hole {byte_offset = 86, hole_type = Word32Hole},Value (Word16Value 36576),Value (Word32Value 1087476255),Value (Word16Value 45826),Value (Word32Value 3691786044),Value (Word16Value 11034),Hole {byte_offset = 104, hole_type = Word8Hole},Hole {byte_offset = 105, hole_type = Word32Hole},Hole {byte_offset = 109, hole_type = Word32Hole},Value (Word32Value 1631965023),Hole {byte_offset = 117, hole_type = Word8Hole},Hole {byte_offset = 118, hole_type = Word8Hole},Value (Word32Value 3460574868),Value (Word16Value 26731),Value (Word16Value 55130),Hole {byte_offset = 127, hole_type = Word16Hole},Value (Word8Value 22),Value (Word8Value 137),Value (Word16Value 36665),Value (Word16Value 61614),Hole {byte_offset = 135, hole_type = Word16Hole},Hole {byte_offset = 137, hole_type = Word8Hole},Hole {byte_offset = 138, hole_type = Word8Hole},Value (Word16Value 4535),Hole {byte_offset = 141, hole_type = Word8Hole},Value (Word16Value 4674),Hole {byte_offset = 144, hole_type = Word32Hole},Value (Word32Value 4185831643),Hole {byte_offset = 152, hole_type = Word16Hole},Value (Word32Value 4193677881),Hole {byte_offset = 158, hole_type = Word32Hole},Hole {byte_offset = 162, hole_type = Word8Hole},Hole {byte_offset = 163, hole_type = Word8Hole},Value (Word16Value 13061),Value (Word8Value 194),Hole {byte_offset = 167, hole_type = Word32Hole},Value (Word8Value 235),Value (Word32Value 3183868286),Value (Word16Value 58861),Value (Word16Value 2798),Hole {byte_offset = 180, hole_type = Word16Hole},Hole {byte_offset = 182, hole_type = Word32Hole},Value (Word32Value 3303353037),Value (Word8Value 34),Value (Word8Value 226),Hole {byte_offset = 192, hole_type = Word16Hole},Hole {byte_offset = 194, hole_type = Word8Hole},Hole {byte_offset = 195, hole_type = Word32Hole},Value (Word32Value 1141278250),Hole {byte_offset = 203, hole_type = Word16Hole},Hole {byte_offset = 205, hole_type = Word8Hole},Value (Word8Value 107),Value (Word32Value 338863384),Value (Word8Value 170)]}