bind-marshal-0.1: test/TestCases/BinaryCase7.hs
{-# LANGUAGE NoRebindableSyntax #-}
{-# LANGUAGE ImplicitPrelude #-}
module TestCases.BinaryCase7 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
60125 :: Word16 <- getWord16be
3072572163 :: Word32 <- getWord32be
155 :: Word8 <- getWord8
216 :: Word8 <- getWord8
v_0 :: Word32 <- getWord32be
v_1 :: Word32 <- getWord32be
29080 :: Word16 <- getWord16be
450967872 :: Word32 <- getWord32be
4013978738 :: Word32 <- getWord32be
v_2 :: Word32 <- getWord32be
v_3 :: Word32 <- getWord32be
v_4 :: Word16 <- getWord16be
28602 :: Word16 <- getWord16be
1761831148 :: Word32 <- getWord32be
56097 :: Word16 <- getWord16be
144 :: Word8 <- getWord8
1866030625 :: Word32 <- getWord32be
v_5 :: Word32 <- getWord32be
18331 :: Word16 <- getWord16be
v_6 :: Word8 <- getWord8
v_7 :: Word16 <- getWord16be
2368187773 :: Word32 <- getWord32be
55569 :: Word16 <- getWord16be
v_8 :: Word32 <- getWord32be
v_9 :: Word8 <- getWord8
v_10 :: Word32 <- getWord32be
981332725 :: Word32 <- getWord32be
3329558639 :: Word32 <- getWord32be
v_11 :: Word16 <- getWord16be
v_12 :: Word32 <- getWord32be
1729238200 :: Word32 <- getWord32be
v_13 :: Word16 <- getWord16be
8179 :: Word16 <- getWord16be
4176 :: Word16 <- getWord16be
v_14 :: Word32 <- getWord32be
v_15 :: Word16 <- getWord16be
15 :: Word8 <- getWord8
v_16 :: Word16 <- getWord16be
575246075 :: Word32 <- getWord32be
3334 :: Word16 <- getWord16be
v_17 :: Word8 <- getWord8
v_18 :: Word8 <- getWord8
192 :: Word8 <- getWord8
16074 :: Word16 <- getWord16be
86 :: Word8 <- getWord8
v_19 :: Word16 <- getWord16be
v_20 :: Word32 <- getWord32be
3965 :: Word16 <- getWord16be
v_21 :: Word32 <- getWord32be
6784 :: Word16 <- getWord16be
76 :: Word8 <- getWord8
129 :: Word8 <- getWord8
v_22 :: Word32 <- getWord32be
4192106710 :: Word32 <- getWord32be
3485311300 :: Word32 <- getWord32be
2968056085 :: Word32 <- getWord32be
4072964214 :: Word32 <- getWord32be
847206522 :: Word32 <- getWord32be
v_23 :: Word32 <- getWord32be
1805344434 :: Word32 <- getWord32be
v_24 :: Word32 <- getWord32be
v_25 :: Word16 <- getWord16be
35069 :: Word16 <- getWord16be
v_26 :: Word8 <- getWord8
v_27 :: Word8 <- getWord8
619404241 :: Word32 <- getWord32be
948252506 :: Word32 <- getWord32be
43342 :: Word16 <- getWord16be
v_28 :: Word8 <- getWord8
v_29 :: Word32 <- getWord32be
v_30 :: Word32 <- getWord32be
v_31 :: Word8 <- getWord8
3760600211 :: Word32 <- getWord32be
18534 :: Word16 <- getWord16be
117 :: Word16 <- getWord16be
v_32 :: Word16 <- getWord16be
v_33 :: Word16 <- getWord16be
284923463 :: Word32 <- getWord32be
v_34 :: Word16 <- getWord16be
v_35 :: Word32 <- getWord32be
12685 :: Word16 <- getWord16be
8499 :: Word16 <- getWord16be
2230117417 :: Word32 <- getWord32be
16382 :: Word16 <- getWord16be
4 :: Word8 <- getWord8
v_36 :: Word32 <- getWord32be
v_37 :: Word16 <- getWord16be
51238 :: Word16 <- getWord16be
v_38 :: Word32 <- getWord32be
1607987104 :: Word32 <- getWord32be
3945436825 :: Word32 <- getWord32be
v_39 :: Word32 <- getWord32be
26577 :: Word16 <- getWord16be
27570 :: Word16 <- getWord16be
25763 :: Word16 <- getWord16be
139 :: Word8 <- getWord8
10 :: Word8 <- getWord8
v_40 :: Word32 <- getWord32be
2118202207 :: Word32 <- getWord32be
v_41 :: Word16 <- getWord16be
v_42 :: Word32 <- getWord32be
61879 :: Word16 <- getWord16be
v_43 :: Word8 <- getWord8
v_44 :: Word8 <- getWord8
3621106650 :: Word32 <- getWord32be
29224 :: Word16 <- getWord16be
v_45 :: Word32 <- getWord32be
1435767336 :: Word32 <- getWord32be
3084530162 :: Word32 <- getWord32be
627018483 :: Word32 <- getWord32be
v_46 :: Word8 <- getWord8
v_47 :: Word32 <- getWord32be
v_48 :: Word32 <- getWord32be
v_49 :: Word32 <- getWord32be
33500 :: Word16 <- getWord16be
return [ Word32Value v_0 , Word32Value v_1 , Word32Value v_2 , Word32Value v_3 , Word16Value v_4 , Word32Value v_5 , Word8Value v_6 , Word16Value v_7 , Word32Value v_8 , Word8Value v_9 , Word32Value v_10 , Word16Value v_11 , Word32Value v_12 , Word16Value v_13 , Word32Value v_14 , Word16Value v_15 , Word16Value v_16 , Word8Value v_17 , Word8Value v_18 , Word16Value v_19 , Word32Value v_20 , Word32Value v_21 , Word32Value v_22 , Word32Value v_23 , Word32Value v_24 , Word16Value v_25 , Word8Value v_26 , Word8Value v_27 , Word8Value v_28 , Word32Value v_29 , Word32Value v_30 , Word8Value v_31 , Word16Value v_32 , Word16Value v_33 , Word16Value v_34 , Word32Value v_35 , Word32Value v_36 , Word16Value v_37 , Word32Value v_38 , Word32Value v_39 , Word32Value v_40 , Word16Value v_41 , Word32Value v_42 , Word8Value v_43 , Word8Value v_44 , Word32Value v_45 , Word8Value v_46 , Word32Value v_47 , Word32Value v_48 , Word32Value v_49 ]
ser_static_structure vs = do
let [ Word32Value v_0 , Word32Value v_1 , Word32Value v_2 , Word32Value v_3 , Word16Value v_4 , Word32Value v_5 , Word8Value v_6 , Word16Value v_7 , Word32Value v_8 , Word8Value v_9 , Word32Value v_10 , Word16Value v_11 , Word32Value v_12 , Word16Value v_13 , Word32Value v_14 , Word16Value v_15 , Word16Value v_16 , Word8Value v_17 , Word8Value v_18 , Word16Value v_19 , Word32Value v_20 , Word32Value v_21 , Word32Value v_22 , Word32Value v_23 , Word32Value v_24 , Word16Value v_25 , Word8Value v_26 , Word8Value v_27 , Word8Value v_28 , Word32Value v_29 , Word32Value v_30 , Word8Value v_31 , Word16Value v_32 , Word16Value v_33 , Word16Value v_34 , Word32Value v_35 , Word32Value v_36 , Word16Value v_37 , Word32Value v_38 , Word32Value v_39 , Word32Value v_40 , Word16Value v_41 , Word32Value v_42 , Word8Value v_43 , Word8Value v_44 , Word32Value v_45 , Word8Value v_46 , Word32Value v_47 , Word32Value v_48 , Word32Value v_49 ] = vs
putWord16be 60125
putWord32be 3072572163
putWord8 (155 :: Word8)
putWord8 (216 :: Word8)
putWord32be v_0
putWord32be v_1
putWord16be 29080
putWord32be 450967872
putWord32be 4013978738
putWord32be v_2
putWord32be v_3
putWord16be v_4
putWord16be 28602
putWord32be 1761831148
putWord16be 56097
putWord8 (144 :: Word8)
putWord32be 1866030625
putWord32be v_5
putWord16be 18331
putWord8 v_6
putWord16be v_7
putWord32be 2368187773
putWord16be 55569
putWord32be v_8
putWord8 v_9
putWord32be v_10
putWord32be 981332725
putWord32be 3329558639
putWord16be v_11
putWord32be v_12
putWord32be 1729238200
putWord16be v_13
putWord16be 8179
putWord16be 4176
putWord32be v_14
putWord16be v_15
putWord8 (15 :: Word8)
putWord16be v_16
putWord32be 575246075
putWord16be 3334
putWord8 v_17
putWord8 v_18
putWord8 (192 :: Word8)
putWord16be 16074
putWord8 (86 :: Word8)
putWord16be v_19
putWord32be v_20
putWord16be 3965
putWord32be v_21
putWord16be 6784
putWord8 (76 :: Word8)
putWord8 (129 :: Word8)
putWord32be v_22
putWord32be 4192106710
putWord32be 3485311300
putWord32be 2968056085
putWord32be 4072964214
putWord32be 847206522
putWord32be v_23
putWord32be 1805344434
putWord32be v_24
putWord16be v_25
putWord16be 35069
putWord8 v_26
putWord8 v_27
putWord32be 619404241
putWord32be 948252506
putWord16be 43342
putWord8 v_28
putWord32be v_29
putWord32be v_30
putWord8 v_31
putWord32be 3760600211
putWord16be 18534
putWord16be 117
putWord16be v_32
putWord16be v_33
putWord32be 284923463
putWord16be v_34
putWord32be v_35
putWord16be 12685
putWord16be 8499
putWord32be 2230117417
putWord16be 16382
putWord8 (4 :: Word8)
putWord32be v_36
putWord16be v_37
putWord16be 51238
putWord32be v_38
putWord32be 1607987104
putWord32be 3945436825
putWord32be v_39
putWord16be 26577
putWord16be 27570
putWord16be 25763
putWord8 (139 :: Word8)
putWord8 (10 :: Word8)
putWord32be v_40
putWord32be 2118202207
putWord16be v_41
putWord32be v_42
putWord16be 61879
putWord8 v_43
putWord8 v_44
putWord32be 3621106650
putWord16be 29224
putWord32be v_45
putWord32be 1435767336
putWord32be 3084530162
putWord32be 627018483
putWord8 v_46
putWord32be v_47
putWord32be v_48
putWord32be v_49
putWord16be 33500
return ()
static_structure = StaticStructure {properties = [Value (Word16Value 60125),Value (Word32Value 3072572163),Value (Word8Value 155),Value (Word8Value 216),Hole {byte_offset = 8, hole_type = Word32Hole},Hole {byte_offset = 12, hole_type = Word32Hole},Value (Word16Value 29080),Value (Word32Value 450967872),Value (Word32Value 4013978738),Hole {byte_offset = 26, hole_type = Word32Hole},Hole {byte_offset = 30, hole_type = Word32Hole},Hole {byte_offset = 34, hole_type = Word16Hole},Value (Word16Value 28602),Value (Word32Value 1761831148),Value (Word16Value 56097),Value (Word8Value 144),Value (Word32Value 1866030625),Hole {byte_offset = 49, hole_type = Word32Hole},Value (Word16Value 18331),Hole {byte_offset = 55, hole_type = Word8Hole},Hole {byte_offset = 56, hole_type = Word16Hole},Value (Word32Value 2368187773),Value (Word16Value 55569),Hole {byte_offset = 64, hole_type = Word32Hole},Hole {byte_offset = 68, hole_type = Word8Hole},Hole {byte_offset = 69, hole_type = Word32Hole},Value (Word32Value 981332725),Value (Word32Value 3329558639),Hole {byte_offset = 81, hole_type = Word16Hole},Hole {byte_offset = 83, hole_type = Word32Hole},Value (Word32Value 1729238200),Hole {byte_offset = 91, hole_type = Word16Hole},Value (Word16Value 8179),Value (Word16Value 4176),Hole {byte_offset = 97, hole_type = Word32Hole},Hole {byte_offset = 101, hole_type = Word16Hole},Value (Word8Value 15),Hole {byte_offset = 104, hole_type = Word16Hole},Value (Word32Value 575246075),Value (Word16Value 3334),Hole {byte_offset = 112, hole_type = Word8Hole},Hole {byte_offset = 113, hole_type = Word8Hole},Value (Word8Value 192),Value (Word16Value 16074),Value (Word8Value 86),Hole {byte_offset = 118, hole_type = Word16Hole},Hole {byte_offset = 120, hole_type = Word32Hole},Value (Word16Value 3965),Hole {byte_offset = 126, hole_type = Word32Hole},Value (Word16Value 6784),Value (Word8Value 76),Value (Word8Value 129),Hole {byte_offset = 134, hole_type = Word32Hole},Value (Word32Value 4192106710),Value (Word32Value 3485311300),Value (Word32Value 2968056085),Value (Word32Value 4072964214),Value (Word32Value 847206522),Hole {byte_offset = 158, hole_type = Word32Hole},Value (Word32Value 1805344434),Hole {byte_offset = 166, hole_type = Word32Hole},Hole {byte_offset = 170, hole_type = Word16Hole},Value (Word16Value 35069),Hole {byte_offset = 174, hole_type = Word8Hole},Hole {byte_offset = 175, hole_type = Word8Hole},Value (Word32Value 619404241),Value (Word32Value 948252506),Value (Word16Value 43342),Hole {byte_offset = 186, hole_type = Word8Hole},Hole {byte_offset = 187, hole_type = Word32Hole},Hole {byte_offset = 191, hole_type = Word32Hole},Hole {byte_offset = 195, hole_type = Word8Hole},Value (Word32Value 3760600211),Value (Word16Value 18534),Value (Word16Value 117),Hole {byte_offset = 204, hole_type = Word16Hole},Hole {byte_offset = 206, hole_type = Word16Hole},Value (Word32Value 284923463),Hole {byte_offset = 212, hole_type = Word16Hole},Hole {byte_offset = 214, hole_type = Word32Hole},Value (Word16Value 12685),Value (Word16Value 8499),Value (Word32Value 2230117417),Value (Word16Value 16382),Value (Word8Value 4),Hole {byte_offset = 229, hole_type = Word32Hole},Hole {byte_offset = 233, hole_type = Word16Hole},Value (Word16Value 51238),Hole {byte_offset = 237, hole_type = Word32Hole},Value (Word32Value 1607987104),Value (Word32Value 3945436825),Hole {byte_offset = 249, hole_type = Word32Hole},Value (Word16Value 26577),Value (Word16Value 27570),Value (Word16Value 25763),Value (Word8Value 139),Value (Word8Value 10),Hole {byte_offset = 261, hole_type = Word32Hole},Value (Word32Value 2118202207),Hole {byte_offset = 269, hole_type = Word16Hole},Hole {byte_offset = 271, hole_type = Word32Hole},Value (Word16Value 61879),Hole {byte_offset = 277, hole_type = Word8Hole},Hole {byte_offset = 278, hole_type = Word8Hole},Value (Word32Value 3621106650),Value (Word16Value 29224),Hole {byte_offset = 285, hole_type = Word32Hole},Value (Word32Value 1435767336),Value (Word32Value 3084530162),Value (Word32Value 627018483),Hole {byte_offset = 301, hole_type = Word8Hole},Hole {byte_offset = 302, hole_type = Word32Hole},Hole {byte_offset = 306, hole_type = Word32Hole},Hole {byte_offset = 310, hole_type = Word32Hole},Value (Word16Value 33500)]}