bind-marshal-0.1: test/TestCases/BinaryCase5.hs
{-# LANGUAGE NoRebindableSyntax #-}
{-# LANGUAGE ImplicitPrelude #-}
module TestCases.BinaryCase5 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
237 :: Word8 <- getWord8
2432342725 :: Word32 <- getWord32be
v_0 :: Word32 <- getWord32be
14 :: Word8 <- getWord8
v_1 :: Word32 <- getWord32be
133 :: Word8 <- getWord8
v_2 :: Word16 <- getWord16be
v_3 :: Word8 <- getWord8
31500 :: Word16 <- getWord16be
29725 :: Word16 <- getWord16be
45309 :: Word16 <- getWord16be
4041880020 :: Word32 <- getWord32be
6097 :: Word16 <- getWord16be
2505111969 :: Word32 <- getWord32be
v_4 :: Word32 <- getWord32be
227 :: Word8 <- getWord8
2045292545 :: Word32 <- getWord32be
v_5 :: Word16 <- getWord16be
v_6 :: Word32 <- getWord32be
14 :: Word8 <- getWord8
v_7 :: Word32 <- getWord32be
2434 :: Word16 <- getWord16be
2125984829 :: Word32 <- getWord32be
3037258204 :: Word32 <- getWord32be
v_8 :: Word16 <- getWord16be
247 :: Word8 <- getWord8
30 :: Word8 <- getWord8
15313 :: Word16 <- getWord16be
v_9 :: Word32 <- getWord32be
190 :: Word8 <- getWord8
84 :: Word8 <- getWord8
224 :: Word8 <- getWord8
145 :: Word8 <- getWord8
188 :: Word8 <- getWord8
48590 :: Word16 <- getWord16be
v_10 :: Word8 <- getWord8
v_11 :: Word16 <- getWord16be
v_12 :: Word32 <- getWord32be
45257 :: Word16 <- getWord16be
44707 :: Word16 <- getWord16be
v_13 :: Word32 <- getWord32be
255 :: Word8 <- getWord8
v_14 :: Word32 <- getWord32be
12729 :: Word16 <- getWord16be
v_15 :: Word8 <- getWord8
57436 :: Word16 <- getWord16be
v_16 :: Word32 <- getWord32be
v_17 :: Word8 <- getWord8
24 :: Word8 <- getWord8
v_18 :: Word32 <- getWord32be
v_19 :: Word16 <- getWord16be
v_20 :: Word8 <- getWord8
v_21 :: Word8 <- getWord8
v_22 :: Word16 <- getWord16be
v_23 :: Word8 <- getWord8
3487 :: Word16 <- getWord16be
2698337360 :: Word32 <- getWord32be
171 :: Word8 <- getWord8
57 :: Word8 <- getWord8
146 :: Word8 <- getWord8
v_24 :: Word32 <- getWord32be
v_25 :: Word16 <- getWord16be
v_26 :: Word8 <- getWord8
v_27 :: Word8 <- getWord8
v_28 :: Word16 <- getWord16be
v_29 :: Word8 <- getWord8
64836 :: Word16 <- getWord16be
v_30 :: Word16 <- getWord16be
v_31 :: Word8 <- getWord8
40363 :: Word16 <- getWord16be
65 :: Word8 <- getWord8
v_32 :: Word8 <- getWord8
188 :: Word8 <- getWord8
v_33 :: Word16 <- getWord16be
v_34 :: Word32 <- getWord32be
23 :: Word8 <- getWord8
v_35 :: Word16 <- getWord16be
8959 :: Word16 <- getWord16be
218 :: Word8 <- getWord8
v_36 :: Word32 <- getWord32be
v_37 :: Word8 <- getWord8
125 :: Word8 <- getWord8
v_38 :: Word32 <- getWord32be
v_39 :: Word16 <- getWord16be
return [ Word32Value v_0 , Word32Value v_1 , Word16Value v_2 , Word8Value v_3 , Word32Value v_4 , Word16Value v_5 , Word32Value v_6 , Word32Value v_7 , Word16Value v_8 , Word32Value v_9 , Word8Value v_10 , Word16Value v_11 , Word32Value v_12 , Word32Value v_13 , Word32Value v_14 , Word8Value v_15 , Word32Value v_16 , Word8Value v_17 , Word32Value v_18 , Word16Value v_19 , Word8Value v_20 , Word8Value v_21 , Word16Value v_22 , Word8Value v_23 , Word32Value v_24 , Word16Value v_25 , Word8Value v_26 , Word8Value v_27 , Word16Value v_28 , Word8Value v_29 , Word16Value v_30 , Word8Value v_31 , Word8Value v_32 , Word16Value v_33 , Word32Value v_34 , Word16Value v_35 , Word32Value v_36 , Word8Value v_37 , Word32Value v_38 , Word16Value v_39 ]
ser_static_structure vs = do
let [ Word32Value v_0 , Word32Value v_1 , Word16Value v_2 , Word8Value v_3 , Word32Value v_4 , Word16Value v_5 , Word32Value v_6 , Word32Value v_7 , Word16Value v_8 , Word32Value v_9 , Word8Value v_10 , Word16Value v_11 , Word32Value v_12 , Word32Value v_13 , Word32Value v_14 , Word8Value v_15 , Word32Value v_16 , Word8Value v_17 , Word32Value v_18 , Word16Value v_19 , Word8Value v_20 , Word8Value v_21 , Word16Value v_22 , Word8Value v_23 , Word32Value v_24 , Word16Value v_25 , Word8Value v_26 , Word8Value v_27 , Word16Value v_28 , Word8Value v_29 , Word16Value v_30 , Word8Value v_31 , Word8Value v_32 , Word16Value v_33 , Word32Value v_34 , Word16Value v_35 , Word32Value v_36 , Word8Value v_37 , Word32Value v_38 , Word16Value v_39 ] = vs
putWord8 (237 :: Word8)
putWord32be 2432342725
putWord32be v_0
putWord8 (14 :: Word8)
putWord32be v_1
putWord8 (133 :: Word8)
putWord16be v_2
putWord8 v_3
putWord16be 31500
putWord16be 29725
putWord16be 45309
putWord32be 4041880020
putWord16be 6097
putWord32be 2505111969
putWord32be v_4
putWord8 (227 :: Word8)
putWord32be 2045292545
putWord16be v_5
putWord32be v_6
putWord8 (14 :: Word8)
putWord32be v_7
putWord16be 2434
putWord32be 2125984829
putWord32be 3037258204
putWord16be v_8
putWord8 (247 :: Word8)
putWord8 (30 :: Word8)
putWord16be 15313
putWord32be v_9
putWord8 (190 :: Word8)
putWord8 (84 :: Word8)
putWord8 (224 :: Word8)
putWord8 (145 :: Word8)
putWord8 (188 :: Word8)
putWord16be 48590
putWord8 v_10
putWord16be v_11
putWord32be v_12
putWord16be 45257
putWord16be 44707
putWord32be v_13
putWord8 (255 :: Word8)
putWord32be v_14
putWord16be 12729
putWord8 v_15
putWord16be 57436
putWord32be v_16
putWord8 v_17
putWord8 (24 :: Word8)
putWord32be v_18
putWord16be v_19
putWord8 v_20
putWord8 v_21
putWord16be v_22
putWord8 v_23
putWord16be 3487
putWord32be 2698337360
putWord8 (171 :: Word8)
putWord8 (57 :: Word8)
putWord8 (146 :: Word8)
putWord32be v_24
putWord16be v_25
putWord8 v_26
putWord8 v_27
putWord16be v_28
putWord8 v_29
putWord16be 64836
putWord16be v_30
putWord8 v_31
putWord16be 40363
putWord8 (65 :: Word8)
putWord8 v_32
putWord8 (188 :: Word8)
putWord16be v_33
putWord32be v_34
putWord8 (23 :: Word8)
putWord16be v_35
putWord16be 8959
putWord8 (218 :: Word8)
putWord32be v_36
putWord8 v_37
putWord8 (125 :: Word8)
putWord32be v_38
putWord16be v_39
return ()
static_structure = StaticStructure {properties = [Value (Word8Value 237),Value (Word32Value 2432342725),Hole {byte_offset = 5, hole_type = Word32Hole},Value (Word8Value 14),Hole {byte_offset = 10, hole_type = Word32Hole},Value (Word8Value 133),Hole {byte_offset = 15, hole_type = Word16Hole},Hole {byte_offset = 17, hole_type = Word8Hole},Value (Word16Value 31500),Value (Word16Value 29725),Value (Word16Value 45309),Value (Word32Value 4041880020),Value (Word16Value 6097),Value (Word32Value 2505111969),Hole {byte_offset = 34, hole_type = Word32Hole},Value (Word8Value 227),Value (Word32Value 2045292545),Hole {byte_offset = 43, hole_type = Word16Hole},Hole {byte_offset = 45, hole_type = Word32Hole},Value (Word8Value 14),Hole {byte_offset = 50, hole_type = Word32Hole},Value (Word16Value 2434),Value (Word32Value 2125984829),Value (Word32Value 3037258204),Hole {byte_offset = 64, hole_type = Word16Hole},Value (Word8Value 247),Value (Word8Value 30),Value (Word16Value 15313),Hole {byte_offset = 70, hole_type = Word32Hole},Value (Word8Value 190),Value (Word8Value 84),Value (Word8Value 224),Value (Word8Value 145),Value (Word8Value 188),Value (Word16Value 48590),Hole {byte_offset = 81, hole_type = Word8Hole},Hole {byte_offset = 82, hole_type = Word16Hole},Hole {byte_offset = 84, hole_type = Word32Hole},Value (Word16Value 45257),Value (Word16Value 44707),Hole {byte_offset = 92, hole_type = Word32Hole},Value (Word8Value 255),Hole {byte_offset = 97, hole_type = Word32Hole},Value (Word16Value 12729),Hole {byte_offset = 103, hole_type = Word8Hole},Value (Word16Value 57436),Hole {byte_offset = 106, hole_type = Word32Hole},Hole {byte_offset = 110, hole_type = Word8Hole},Value (Word8Value 24),Hole {byte_offset = 112, hole_type = Word32Hole},Hole {byte_offset = 116, hole_type = Word16Hole},Hole {byte_offset = 118, hole_type = Word8Hole},Hole {byte_offset = 119, hole_type = Word8Hole},Hole {byte_offset = 120, hole_type = Word16Hole},Hole {byte_offset = 122, hole_type = Word8Hole},Value (Word16Value 3487),Value (Word32Value 2698337360),Value (Word8Value 171),Value (Word8Value 57),Value (Word8Value 146),Hole {byte_offset = 132, hole_type = Word32Hole},Hole {byte_offset = 136, hole_type = Word16Hole},Hole {byte_offset = 138, hole_type = Word8Hole},Hole {byte_offset = 139, hole_type = Word8Hole},Hole {byte_offset = 140, hole_type = Word16Hole},Hole {byte_offset = 142, hole_type = Word8Hole},Value (Word16Value 64836),Hole {byte_offset = 145, hole_type = Word16Hole},Hole {byte_offset = 147, hole_type = Word8Hole},Value (Word16Value 40363),Value (Word8Value 65),Hole {byte_offset = 151, hole_type = Word8Hole},Value (Word8Value 188),Hole {byte_offset = 153, hole_type = Word16Hole},Hole {byte_offset = 155, hole_type = Word32Hole},Value (Word8Value 23),Hole {byte_offset = 160, hole_type = Word16Hole},Value (Word16Value 8959),Value (Word8Value 218),Hole {byte_offset = 165, hole_type = Word32Hole},Hole {byte_offset = 169, hole_type = Word8Hole},Value (Word8Value 125),Hole {byte_offset = 171, hole_type = Word32Hole},Hole {byte_offset = 175, hole_type = Word16Hole}]}