bind-marshal-0.1: test/TestCases/BinaryCase14.hs
{-# LANGUAGE NoRebindableSyntax #-}
{-# LANGUAGE ImplicitPrelude #-}
module TestCases.BinaryCase14 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 :: Word32 <- getWord32be
v_1 :: Word16 <- getWord16be
45589 :: Word16 <- getWord16be
v_2 :: Word16 <- getWord16be
60107 :: Word16 <- getWord16be
1160052559 :: Word32 <- getWord32be
v_3 :: Word8 <- getWord8
42851 :: Word16 <- getWord16be
v_4 :: Word16 <- getWord16be
v_5 :: Word8 <- getWord8
v_6 :: Word32 <- getWord32be
v_7 :: Word32 <- getWord32be
v_8 :: Word16 <- getWord16be
v_9 :: Word8 <- getWord8
40526 :: Word16 <- getWord16be
806 :: Word16 <- getWord16be
42332 :: Word16 <- getWord16be
43364 :: Word16 <- getWord16be
635582598 :: Word32 <- getWord32be
54204 :: Word16 <- getWord16be
v_10 :: Word32 <- getWord32be
v_11 :: Word16 <- getWord16be
v_12 :: Word32 <- getWord32be
23374 :: Word16 <- getWord16be
v_13 :: Word16 <- getWord16be
v_14 :: Word8 <- getWord8
v_15 :: Word32 <- getWord32be
v_16 :: Word8 <- getWord8
45585 :: Word16 <- getWord16be
v_17 :: Word8 <- getWord8
1748252474 :: Word32 <- getWord32be
v_18 :: Word16 <- getWord16be
229 :: Word8 <- getWord8
v_19 :: Word8 <- getWord8
v_20 :: Word16 <- getWord16be
224 :: Word8 <- getWord8
35602 :: Word16 <- getWord16be
v_21 :: Word8 <- getWord8
v_22 :: Word32 <- getWord32be
v_23 :: Word8 <- getWord8
v_24 :: Word32 <- getWord32be
14403 :: Word16 <- getWord16be
4080055959 :: Word32 <- getWord32be
49541 :: Word16 <- getWord16be
v_25 :: Word8 <- getWord8
565928376 :: Word32 <- getWord32be
22 :: Word8 <- getWord8
v_26 :: Word16 <- getWord16be
90 :: Word8 <- getWord8
v_27 :: Word16 <- getWord16be
v_28 :: Word16 <- getWord16be
v_29 :: Word16 <- getWord16be
132 :: Word8 <- getWord8
v_30 :: Word32 <- getWord32be
v_31 :: Word8 <- getWord8
v_32 :: Word8 <- getWord8
209 :: Word8 <- getWord8
v_33 :: Word16 <- getWord16be
65261 :: Word16 <- getWord16be
v_34 :: Word32 <- getWord32be
2127379805 :: Word32 <- getWord32be
686121823 :: Word32 <- getWord32be
v_35 :: Word32 <- getWord32be
45176 :: Word16 <- getWord16be
return [ Word32Value v_0 , Word16Value v_1 , Word16Value v_2 , Word8Value v_3 , Word16Value v_4 , Word8Value v_5 , Word32Value v_6 , Word32Value v_7 , Word16Value v_8 , Word8Value v_9 , Word32Value v_10 , Word16Value v_11 , Word32Value v_12 , Word16Value v_13 , Word8Value v_14 , Word32Value v_15 , Word8Value v_16 , Word8Value v_17 , Word16Value v_18 , Word8Value v_19 , Word16Value v_20 , Word8Value v_21 , Word32Value v_22 , Word8Value v_23 , Word32Value v_24 , Word8Value v_25 , Word16Value v_26 , Word16Value v_27 , Word16Value v_28 , Word16Value v_29 , Word32Value v_30 , Word8Value v_31 , Word8Value v_32 , Word16Value v_33 , Word32Value v_34 , Word32Value v_35 ]
ser_static_structure vs = do
let [ Word32Value v_0 , Word16Value v_1 , Word16Value v_2 , Word8Value v_3 , Word16Value v_4 , Word8Value v_5 , Word32Value v_6 , Word32Value v_7 , Word16Value v_8 , Word8Value v_9 , Word32Value v_10 , Word16Value v_11 , Word32Value v_12 , Word16Value v_13 , Word8Value v_14 , Word32Value v_15 , Word8Value v_16 , Word8Value v_17 , Word16Value v_18 , Word8Value v_19 , Word16Value v_20 , Word8Value v_21 , Word32Value v_22 , Word8Value v_23 , Word32Value v_24 , Word8Value v_25 , Word16Value v_26 , Word16Value v_27 , Word16Value v_28 , Word16Value v_29 , Word32Value v_30 , Word8Value v_31 , Word8Value v_32 , Word16Value v_33 , Word32Value v_34 , Word32Value v_35 ] = vs
putWord32be v_0
putWord16be v_1
putWord16be 45589
putWord16be v_2
putWord16be 60107
putWord32be 1160052559
putWord8 v_3
putWord16be 42851
putWord16be v_4
putWord8 v_5
putWord32be v_6
putWord32be v_7
putWord16be v_8
putWord8 v_9
putWord16be 40526
putWord16be 806
putWord16be 42332
putWord16be 43364
putWord32be 635582598
putWord16be 54204
putWord32be v_10
putWord16be v_11
putWord32be v_12
putWord16be 23374
putWord16be v_13
putWord8 v_14
putWord32be v_15
putWord8 v_16
putWord16be 45585
putWord8 v_17
putWord32be 1748252474
putWord16be v_18
putWord8 (229 :: Word8)
putWord8 v_19
putWord16be v_20
putWord8 (224 :: Word8)
putWord16be 35602
putWord8 v_21
putWord32be v_22
putWord8 v_23
putWord32be v_24
putWord16be 14403
putWord32be 4080055959
putWord16be 49541
putWord8 v_25
putWord32be 565928376
putWord8 (22 :: Word8)
putWord16be v_26
putWord8 (90 :: Word8)
putWord16be v_27
putWord16be v_28
putWord16be v_29
putWord8 (132 :: Word8)
putWord32be v_30
putWord8 v_31
putWord8 v_32
putWord8 (209 :: Word8)
putWord16be v_33
putWord16be 65261
putWord32be v_34
putWord32be 2127379805
putWord32be 686121823
putWord32be v_35
putWord16be 45176
return ()
static_structure = StaticStructure {properties = [Hole {byte_offset = 0, hole_type = Word32Hole},Hole {byte_offset = 4, hole_type = Word16Hole},Value (Word16Value 45589),Hole {byte_offset = 8, hole_type = Word16Hole},Value (Word16Value 60107),Value (Word32Value 1160052559),Hole {byte_offset = 16, hole_type = Word8Hole},Value (Word16Value 42851),Hole {byte_offset = 19, hole_type = Word16Hole},Hole {byte_offset = 21, hole_type = Word8Hole},Hole {byte_offset = 22, hole_type = Word32Hole},Hole {byte_offset = 26, hole_type = Word32Hole},Hole {byte_offset = 30, hole_type = Word16Hole},Hole {byte_offset = 32, hole_type = Word8Hole},Value (Word16Value 40526),Value (Word16Value 806),Value (Word16Value 42332),Value (Word16Value 43364),Value (Word32Value 635582598),Value (Word16Value 54204),Hole {byte_offset = 47, hole_type = Word32Hole},Hole {byte_offset = 51, hole_type = Word16Hole},Hole {byte_offset = 53, hole_type = Word32Hole},Value (Word16Value 23374),Hole {byte_offset = 59, hole_type = Word16Hole},Hole {byte_offset = 61, hole_type = Word8Hole},Hole {byte_offset = 62, hole_type = Word32Hole},Hole {byte_offset = 66, hole_type = Word8Hole},Value (Word16Value 45585),Hole {byte_offset = 69, hole_type = Word8Hole},Value (Word32Value 1748252474),Hole {byte_offset = 74, hole_type = Word16Hole},Value (Word8Value 229),Hole {byte_offset = 77, hole_type = Word8Hole},Hole {byte_offset = 78, hole_type = Word16Hole},Value (Word8Value 224),Value (Word16Value 35602),Hole {byte_offset = 83, hole_type = Word8Hole},Hole {byte_offset = 84, hole_type = Word32Hole},Hole {byte_offset = 88, hole_type = Word8Hole},Hole {byte_offset = 89, hole_type = Word32Hole},Value (Word16Value 14403),Value (Word32Value 4080055959),Value (Word16Value 49541),Hole {byte_offset = 101, hole_type = Word8Hole},Value (Word32Value 565928376),Value (Word8Value 22),Hole {byte_offset = 107, hole_type = Word16Hole},Value (Word8Value 90),Hole {byte_offset = 110, hole_type = Word16Hole},Hole {byte_offset = 112, hole_type = Word16Hole},Hole {byte_offset = 114, hole_type = Word16Hole},Value (Word8Value 132),Hole {byte_offset = 117, hole_type = Word32Hole},Hole {byte_offset = 121, hole_type = Word8Hole},Hole {byte_offset = 122, hole_type = Word8Hole},Value (Word8Value 209),Hole {byte_offset = 124, hole_type = Word16Hole},Value (Word16Value 65261),Hole {byte_offset = 128, hole_type = Word32Hole},Value (Word32Value 2127379805),Value (Word32Value 686121823),Hole {byte_offset = 140, hole_type = Word32Hole},Value (Word16Value 45176)]}