bind-marshal-0.1: test/TestCases/BinaryCase6.hs
{-# LANGUAGE NoRebindableSyntax #-}
{-# LANGUAGE ImplicitPrelude #-}
module TestCases.BinaryCase6 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
112 :: Word8 <- getWord8
v_0 :: Word8 <- getWord8
201 :: Word8 <- getWord8
222 :: Word8 <- getWord8
v_1 :: Word8 <- getWord8
v_2 :: Word16 <- getWord16be
1465570674 :: Word32 <- getWord32be
23339 :: Word16 <- getWord16be
49 :: Word8 <- getWord8
12 :: Word8 <- getWord8
196 :: Word8 <- getWord8
v_3 :: Word32 <- getWord32be
v_4 :: Word8 <- getWord8
v_5 :: Word32 <- getWord32be
v_6 :: Word16 <- getWord16be
158 :: Word8 <- getWord8
v_7 :: Word16 <- getWord16be
218 :: Word8 <- getWord8
v_8 :: Word32 <- getWord32be
v_9 :: Word32 <- getWord32be
3869717926 :: Word32 <- getWord32be
v_10 :: Word32 <- getWord32be
v_11 :: Word32 <- getWord32be
123 :: Word8 <- getWord8
20821 :: Word16 <- getWord16be
27 :: Word8 <- getWord8
v_12 :: Word32 <- getWord32be
3413138882 :: Word32 <- getWord32be
8544 :: Word16 <- getWord16be
v_13 :: Word32 <- getWord32be
v_14 :: Word32 <- getWord32be
v_15 :: Word8 <- getWord8
v_16 :: Word8 <- getWord8
v_17 :: Word32 <- getWord32be
v_18 :: Word8 <- getWord8
v_19 :: Word32 <- getWord32be
924972061 :: Word32 <- getWord32be
72 :: Word8 <- getWord8
v_20 :: Word8 <- getWord8
v_21 :: Word8 <- getWord8
51298 :: Word16 <- getWord16be
v_22 :: Word8 <- getWord8
48982 :: Word16 <- getWord16be
v_23 :: Word16 <- getWord16be
2432193269 :: Word32 <- getWord32be
v_24 :: Word32 <- getWord32be
v_25 :: Word32 <- getWord32be
v_26 :: Word16 <- getWord16be
122 :: Word8 <- getWord8
116 :: Word8 <- getWord8
144231419 :: Word32 <- getWord32be
32565 :: Word16 <- getWord16be
v_27 :: Word16 <- getWord16be
v_28 :: Word8 <- getWord8
50708 :: Word16 <- getWord16be
238219583 :: Word32 <- getWord32be
v_29 :: Word16 <- getWord16be
61455 :: Word16 <- getWord16be
v_30 :: Word16 <- getWord16be
v_31 :: Word32 <- getWord32be
3198619298 :: Word32 <- getWord32be
v_32 :: Word16 <- getWord16be
v_33 :: Word8 <- getWord8
v_34 :: Word32 <- getWord32be
v_35 :: Word32 <- getWord32be
2101 :: Word16 <- getWord16be
3328808052 :: Word32 <- getWord32be
436221340 :: Word32 <- getWord32be
v_36 :: Word16 <- getWord16be
v_37 :: Word16 <- getWord16be
242 :: Word8 <- getWord8
v_38 :: Word32 <- getWord32be
64 :: Word8 <- getWord8
v_39 :: Word16 <- getWord16be
43502 :: Word16 <- getWord16be
3771315190 :: Word32 <- getWord32be
4243753305 :: Word32 <- getWord32be
v_40 :: Word16 <- getWord16be
v_41 :: Word16 <- getWord16be
v_42 :: Word8 <- getWord8
227 :: Word8 <- getWord8
v_43 :: Word32 <- getWord32be
1972812258 :: Word32 <- getWord32be
857574521 :: Word32 <- getWord32be
v_44 :: Word32 <- getWord32be
28 :: Word8 <- getWord8
41534 :: Word16 <- getWord16be
v_45 :: Word8 <- getWord8
918709532 :: Word32 <- getWord32be
120 :: Word8 <- getWord8
v_46 :: Word32 <- getWord32be
v_47 :: Word16 <- getWord16be
2474 :: Word16 <- getWord16be
128 :: Word8 <- getWord8
254 :: Word8 <- getWord8
v_48 :: Word32 <- getWord32be
v_49 :: Word16 <- getWord16be
v_50 :: Word8 <- getWord8
218 :: Word8 <- getWord8
2179597460 :: Word32 <- getWord32be
6548 :: Word16 <- getWord16be
v_51 :: Word32 <- getWord32be
v_52 :: Word32 <- getWord32be
v_53 :: Word8 <- getWord8
v_54 :: Word16 <- getWord16be
v_55 :: Word8 <- getWord8
632845482 :: Word32 <- getWord32be
57684 :: Word16 <- getWord16be
v_56 :: Word8 <- getWord8
721822118 :: Word32 <- getWord32be
165395681 :: Word32 <- getWord32be
v_57 :: Word32 <- getWord32be
136 :: Word8 <- getWord8
2600980842 :: Word32 <- getWord32be
return [ Word8Value v_0 , Word8Value v_1 , Word16Value v_2 , Word32Value v_3 , Word8Value v_4 , Word32Value v_5 , Word16Value v_6 , Word16Value v_7 , Word32Value v_8 , Word32Value v_9 , Word32Value v_10 , Word32Value v_11 , Word32Value v_12 , Word32Value v_13 , Word32Value v_14 , Word8Value v_15 , Word8Value v_16 , Word32Value v_17 , Word8Value v_18 , Word32Value v_19 , Word8Value v_20 , Word8Value v_21 , Word8Value v_22 , Word16Value v_23 , Word32Value v_24 , Word32Value v_25 , Word16Value v_26 , Word16Value v_27 , Word8Value v_28 , Word16Value v_29 , Word16Value v_30 , Word32Value v_31 , Word16Value v_32 , Word8Value v_33 , Word32Value v_34 , Word32Value v_35 , Word16Value v_36 , Word16Value v_37 , Word32Value v_38 , Word16Value v_39 , Word16Value v_40 , Word16Value v_41 , Word8Value v_42 , Word32Value v_43 , Word32Value v_44 , Word8Value v_45 , Word32Value v_46 , Word16Value v_47 , Word32Value v_48 , Word16Value v_49 , Word8Value v_50 , Word32Value v_51 , Word32Value v_52 , Word8Value v_53 , Word16Value v_54 , Word8Value v_55 , Word8Value v_56 , Word32Value v_57 ]
ser_static_structure vs = do
let [ Word8Value v_0 , Word8Value v_1 , Word16Value v_2 , Word32Value v_3 , Word8Value v_4 , Word32Value v_5 , Word16Value v_6 , Word16Value v_7 , Word32Value v_8 , Word32Value v_9 , Word32Value v_10 , Word32Value v_11 , Word32Value v_12 , Word32Value v_13 , Word32Value v_14 , Word8Value v_15 , Word8Value v_16 , Word32Value v_17 , Word8Value v_18 , Word32Value v_19 , Word8Value v_20 , Word8Value v_21 , Word8Value v_22 , Word16Value v_23 , Word32Value v_24 , Word32Value v_25 , Word16Value v_26 , Word16Value v_27 , Word8Value v_28 , Word16Value v_29 , Word16Value v_30 , Word32Value v_31 , Word16Value v_32 , Word8Value v_33 , Word32Value v_34 , Word32Value v_35 , Word16Value v_36 , Word16Value v_37 , Word32Value v_38 , Word16Value v_39 , Word16Value v_40 , Word16Value v_41 , Word8Value v_42 , Word32Value v_43 , Word32Value v_44 , Word8Value v_45 , Word32Value v_46 , Word16Value v_47 , Word32Value v_48 , Word16Value v_49 , Word8Value v_50 , Word32Value v_51 , Word32Value v_52 , Word8Value v_53 , Word16Value v_54 , Word8Value v_55 , Word8Value v_56 , Word32Value v_57 ] = vs
putWord8 (112 :: Word8)
putWord8 v_0
putWord8 (201 :: Word8)
putWord8 (222 :: Word8)
putWord8 v_1
putWord16be v_2
putWord32be 1465570674
putWord16be 23339
putWord8 (49 :: Word8)
putWord8 (12 :: Word8)
putWord8 (196 :: Word8)
putWord32be v_3
putWord8 v_4
putWord32be v_5
putWord16be v_6
putWord8 (158 :: Word8)
putWord16be v_7
putWord8 (218 :: Word8)
putWord32be v_8
putWord32be v_9
putWord32be 3869717926
putWord32be v_10
putWord32be v_11
putWord8 (123 :: Word8)
putWord16be 20821
putWord8 (27 :: Word8)
putWord32be v_12
putWord32be 3413138882
putWord16be 8544
putWord32be v_13
putWord32be v_14
putWord8 v_15
putWord8 v_16
putWord32be v_17
putWord8 v_18
putWord32be v_19
putWord32be 924972061
putWord8 (72 :: Word8)
putWord8 v_20
putWord8 v_21
putWord16be 51298
putWord8 v_22
putWord16be 48982
putWord16be v_23
putWord32be 2432193269
putWord32be v_24
putWord32be v_25
putWord16be v_26
putWord8 (122 :: Word8)
putWord8 (116 :: Word8)
putWord32be 144231419
putWord16be 32565
putWord16be v_27
putWord8 v_28
putWord16be 50708
putWord32be 238219583
putWord16be v_29
putWord16be 61455
putWord16be v_30
putWord32be v_31
putWord32be 3198619298
putWord16be v_32
putWord8 v_33
putWord32be v_34
putWord32be v_35
putWord16be 2101
putWord32be 3328808052
putWord32be 436221340
putWord16be v_36
putWord16be v_37
putWord8 (242 :: Word8)
putWord32be v_38
putWord8 (64 :: Word8)
putWord16be v_39
putWord16be 43502
putWord32be 3771315190
putWord32be 4243753305
putWord16be v_40
putWord16be v_41
putWord8 v_42
putWord8 (227 :: Word8)
putWord32be v_43
putWord32be 1972812258
putWord32be 857574521
putWord32be v_44
putWord8 (28 :: Word8)
putWord16be 41534
putWord8 v_45
putWord32be 918709532
putWord8 (120 :: Word8)
putWord32be v_46
putWord16be v_47
putWord16be 2474
putWord8 (128 :: Word8)
putWord8 (254 :: Word8)
putWord32be v_48
putWord16be v_49
putWord8 v_50
putWord8 (218 :: Word8)
putWord32be 2179597460
putWord16be 6548
putWord32be v_51
putWord32be v_52
putWord8 v_53
putWord16be v_54
putWord8 v_55
putWord32be 632845482
putWord16be 57684
putWord8 v_56
putWord32be 721822118
putWord32be 165395681
putWord32be v_57
putWord8 (136 :: Word8)
putWord32be 2600980842
return ()
static_structure = StaticStructure {properties = [Value (Word8Value 112),Hole {byte_offset = 1, hole_type = Word8Hole},Value (Word8Value 201),Value (Word8Value 222),Hole {byte_offset = 4, hole_type = Word8Hole},Hole {byte_offset = 5, hole_type = Word16Hole},Value (Word32Value 1465570674),Value (Word16Value 23339),Value (Word8Value 49),Value (Word8Value 12),Value (Word8Value 196),Hole {byte_offset = 16, hole_type = Word32Hole},Hole {byte_offset = 20, hole_type = Word8Hole},Hole {byte_offset = 21, hole_type = Word32Hole},Hole {byte_offset = 25, hole_type = Word16Hole},Value (Word8Value 158),Hole {byte_offset = 28, hole_type = Word16Hole},Value (Word8Value 218),Hole {byte_offset = 31, hole_type = Word32Hole},Hole {byte_offset = 35, hole_type = Word32Hole},Value (Word32Value 3869717926),Hole {byte_offset = 43, hole_type = Word32Hole},Hole {byte_offset = 47, hole_type = Word32Hole},Value (Word8Value 123),Value (Word16Value 20821),Value (Word8Value 27),Hole {byte_offset = 55, hole_type = Word32Hole},Value (Word32Value 3413138882),Value (Word16Value 8544),Hole {byte_offset = 65, hole_type = Word32Hole},Hole {byte_offset = 69, hole_type = Word32Hole},Hole {byte_offset = 73, hole_type = Word8Hole},Hole {byte_offset = 74, hole_type = Word8Hole},Hole {byte_offset = 75, hole_type = Word32Hole},Hole {byte_offset = 79, hole_type = Word8Hole},Hole {byte_offset = 80, hole_type = Word32Hole},Value (Word32Value 924972061),Value (Word8Value 72),Hole {byte_offset = 89, hole_type = Word8Hole},Hole {byte_offset = 90, hole_type = Word8Hole},Value (Word16Value 51298),Hole {byte_offset = 93, hole_type = Word8Hole},Value (Word16Value 48982),Hole {byte_offset = 96, hole_type = Word16Hole},Value (Word32Value 2432193269),Hole {byte_offset = 102, hole_type = Word32Hole},Hole {byte_offset = 106, hole_type = Word32Hole},Hole {byte_offset = 110, hole_type = Word16Hole},Value (Word8Value 122),Value (Word8Value 116),Value (Word32Value 144231419),Value (Word16Value 32565),Hole {byte_offset = 120, hole_type = Word16Hole},Hole {byte_offset = 122, hole_type = Word8Hole},Value (Word16Value 50708),Value (Word32Value 238219583),Hole {byte_offset = 129, hole_type = Word16Hole},Value (Word16Value 61455),Hole {byte_offset = 133, hole_type = Word16Hole},Hole {byte_offset = 135, hole_type = Word32Hole},Value (Word32Value 3198619298),Hole {byte_offset = 143, hole_type = Word16Hole},Hole {byte_offset = 145, hole_type = Word8Hole},Hole {byte_offset = 146, hole_type = Word32Hole},Hole {byte_offset = 150, hole_type = Word32Hole},Value (Word16Value 2101),Value (Word32Value 3328808052),Value (Word32Value 436221340),Hole {byte_offset = 164, hole_type = Word16Hole},Hole {byte_offset = 166, hole_type = Word16Hole},Value (Word8Value 242),Hole {byte_offset = 169, hole_type = Word32Hole},Value (Word8Value 64),Hole {byte_offset = 174, hole_type = Word16Hole},Value (Word16Value 43502),Value (Word32Value 3771315190),Value (Word32Value 4243753305),Hole {byte_offset = 186, hole_type = Word16Hole},Hole {byte_offset = 188, hole_type = Word16Hole},Hole {byte_offset = 190, hole_type = Word8Hole},Value (Word8Value 227),Hole {byte_offset = 192, hole_type = Word32Hole},Value (Word32Value 1972812258),Value (Word32Value 857574521),Hole {byte_offset = 204, hole_type = Word32Hole},Value (Word8Value 28),Value (Word16Value 41534),Hole {byte_offset = 211, hole_type = Word8Hole},Value (Word32Value 918709532),Value (Word8Value 120),Hole {byte_offset = 217, hole_type = Word32Hole},Hole {byte_offset = 221, hole_type = Word16Hole},Value (Word16Value 2474),Value (Word8Value 128),Value (Word8Value 254),Hole {byte_offset = 227, hole_type = Word32Hole},Hole {byte_offset = 231, hole_type = Word16Hole},Hole {byte_offset = 233, hole_type = Word8Hole},Value (Word8Value 218),Value (Word32Value 2179597460),Value (Word16Value 6548),Hole {byte_offset = 241, hole_type = Word32Hole},Hole {byte_offset = 245, hole_type = Word32Hole},Hole {byte_offset = 249, hole_type = Word8Hole},Hole {byte_offset = 250, hole_type = Word16Hole},Hole {byte_offset = 252, hole_type = Word8Hole},Value (Word32Value 632845482),Value (Word16Value 57684),Hole {byte_offset = 259, hole_type = Word8Hole},Value (Word32Value 721822118),Value (Word32Value 165395681),Hole {byte_offset = 268, hole_type = Word32Hole},Value (Word8Value 136),Value (Word32Value 2600980842)]}