{-# LANGUAGE NoRebindableSyntax #-} {-# LANGUAGE ImplicitPrelude #-} module TestCases.BinaryCase4 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 129 :: Word8 <- getWord8 v_0 :: Word32 <- getWord32be 1745008075 :: Word32 <- getWord32be 237 :: Word8 <- getWord8 34986 :: Word16 <- getWord16be v_1 :: Word8 <- getWord8 v_2 :: Word32 <- getWord32be v_3 :: Word16 <- getWord16be v_4 :: Word32 <- getWord32be 33 :: Word8 <- getWord8 v_5 :: Word16 <- getWord16be v_6 :: Word32 <- getWord32be v_7 :: Word32 <- getWord32be v_8 :: Word16 <- getWord16be v_9 :: Word8 <- getWord8 37242 :: Word16 <- getWord16be v_10 :: Word32 <- getWord32be 130 :: Word8 <- getWord8 v_11 :: Word16 <- getWord16be v_12 :: Word16 <- getWord16be 254 :: Word8 <- getWord8 27392 :: Word16 <- getWord16be v_13 :: Word16 <- getWord16be 33 :: Word8 <- getWord8 v_14 :: Word8 <- getWord8 2886830717 :: Word32 <- getWord32be 60492 :: Word16 <- getWord16be v_15 :: Word8 <- getWord8 v_16 :: Word32 <- getWord32be 3270584180 :: Word32 <- getWord32be v_17 :: Word8 <- getWord8 124 :: Word8 <- getWord8 129 :: Word8 <- getWord8 1883577371 :: Word32 <- getWord32be v_18 :: Word32 <- getWord32be 12671 :: Word16 <- getWord16be v_19 :: Word8 <- getWord8 v_20 :: Word32 <- getWord32be 115 :: Word8 <- getWord8 v_21 :: Word16 <- getWord16be v_22 :: Word8 <- getWord8 32 :: Word8 <- getWord8 4550 :: Word16 <- getWord16be 4262293287 :: Word32 <- getWord32be v_23 :: Word16 <- getWord16be 151 :: Word8 <- getWord8 v_24 :: Word16 <- getWord16be v_25 :: Word8 <- getWord8 v_26 :: Word32 <- getWord32be 149 :: Word8 <- getWord8 v_27 :: Word16 <- getWord16be 67 :: Word8 <- getWord8 7060 :: Word16 <- getWord16be 630441585 :: Word32 <- getWord32be 1877597801 :: Word32 <- getWord32be 40996 :: Word16 <- getWord16be 52982 :: Word16 <- getWord16be 1387114885 :: Word32 <- getWord32be v_28 :: Word16 <- getWord16be v_29 :: Word8 <- getWord8 145 :: Word8 <- getWord8 v_30 :: Word8 <- getWord8 v_31 :: Word16 <- getWord16be 184 :: Word8 <- getWord8 49552 :: Word16 <- getWord16be v_32 :: Word32 <- getWord32be 1479873309 :: Word32 <- getWord32be v_33 :: Word32 <- getWord32be 69 :: Word8 <- getWord8 595851813 :: Word32 <- getWord32be 79 :: Word8 <- getWord8 26058 :: Word16 <- getWord16be 945175652 :: Word32 <- getWord32be 57975 :: Word16 <- getWord16be v_34 :: Word32 <- getWord32be v_35 :: Word16 <- getWord16be v_36 :: Word8 <- getWord8 823389206 :: Word32 <- getWord32be 101 :: Word8 <- getWord8 v_37 :: Word32 <- getWord32be v_38 :: Word8 <- getWord8 7189 :: Word16 <- getWord16be v_39 :: Word32 <- getWord32be 203 :: Word8 <- getWord8 1216252055 :: Word32 <- getWord32be 3590855486 :: Word32 <- getWord32be 11002 :: Word16 <- getWord16be 104 :: Word8 <- getWord8 158196975 :: Word32 <- getWord32be 132 :: Word8 <- getWord8 37409 :: Word16 <- getWord16be v_40 :: Word32 <- getWord32be v_41 :: Word32 <- getWord32be 36703 :: Word16 <- getWord16be v_42 :: Word8 <- getWord8 169 :: Word8 <- getWord8 51949 :: Word16 <- getWord16be 2266927124 :: Word32 <- getWord32be 4125292452 :: Word32 <- getWord32be v_43 :: Word8 <- getWord8 v_44 :: Word16 <- getWord16be v_45 :: Word8 <- getWord8 v_46 :: Word16 <- getWord16be 368495509 :: Word32 <- getWord32be 1397684059 :: Word32 <- getWord32be 3116805292 :: Word32 <- getWord32be 112 :: Word8 <- getWord8 250 :: Word8 <- getWord8 v_47 :: Word8 <- getWord8 1232463606 :: Word32 <- getWord32be 41 :: Word8 <- getWord8 v_48 :: Word32 <- getWord32be 108 :: Word8 <- getWord8 64853 :: Word16 <- getWord16be v_49 :: Word32 <- getWord32be 86 :: Word8 <- getWord8 32412 :: Word16 <- getWord16be 31 :: Word8 <- getWord8 v_50 :: Word8 <- getWord8 80 :: Word8 <- getWord8 v_51 :: Word32 <- getWord32be 43 :: Word8 <- getWord8 301494050 :: Word32 <- getWord32be return [ Word32Value v_0 , Word8Value v_1 , Word32Value v_2 , Word16Value v_3 , Word32Value v_4 , Word16Value v_5 , Word32Value v_6 , Word32Value v_7 , Word16Value v_8 , Word8Value v_9 , Word32Value v_10 , Word16Value v_11 , Word16Value v_12 , Word16Value v_13 , Word8Value v_14 , Word8Value v_15 , Word32Value v_16 , Word8Value v_17 , Word32Value v_18 , Word8Value v_19 , Word32Value v_20 , Word16Value v_21 , Word8Value v_22 , Word16Value v_23 , Word16Value v_24 , Word8Value v_25 , Word32Value v_26 , Word16Value v_27 , Word16Value v_28 , Word8Value v_29 , Word8Value v_30 , Word16Value v_31 , Word32Value v_32 , Word32Value v_33 , Word32Value v_34 , Word16Value v_35 , Word8Value v_36 , Word32Value v_37 , Word8Value v_38 , Word32Value v_39 , Word32Value v_40 , Word32Value v_41 , Word8Value v_42 , Word8Value v_43 , Word16Value v_44 , Word8Value v_45 , Word16Value v_46 , Word8Value v_47 , Word32Value v_48 , Word32Value v_49 , Word8Value v_50 , Word32Value v_51 ] ser_static_structure vs = do let [ Word32Value v_0 , Word8Value v_1 , Word32Value v_2 , Word16Value v_3 , Word32Value v_4 , Word16Value v_5 , Word32Value v_6 , Word32Value v_7 , Word16Value v_8 , Word8Value v_9 , Word32Value v_10 , Word16Value v_11 , Word16Value v_12 , Word16Value v_13 , Word8Value v_14 , Word8Value v_15 , Word32Value v_16 , Word8Value v_17 , Word32Value v_18 , Word8Value v_19 , Word32Value v_20 , Word16Value v_21 , Word8Value v_22 , Word16Value v_23 , Word16Value v_24 , Word8Value v_25 , Word32Value v_26 , Word16Value v_27 , Word16Value v_28 , Word8Value v_29 , Word8Value v_30 , Word16Value v_31 , Word32Value v_32 , Word32Value v_33 , Word32Value v_34 , Word16Value v_35 , Word8Value v_36 , Word32Value v_37 , Word8Value v_38 , Word32Value v_39 , Word32Value v_40 , Word32Value v_41 , Word8Value v_42 , Word8Value v_43 , Word16Value v_44 , Word8Value v_45 , Word16Value v_46 , Word8Value v_47 , Word32Value v_48 , Word32Value v_49 , Word8Value v_50 , Word32Value v_51 ] = vs putWord8 (129 :: Word8) putWord32be v_0 putWord32be 1745008075 putWord8 (237 :: Word8) putWord16be 34986 putWord8 v_1 putWord32be v_2 putWord16be v_3 putWord32be v_4 putWord8 (33 :: Word8) putWord16be v_5 putWord32be v_6 putWord32be v_7 putWord16be v_8 putWord8 v_9 putWord16be 37242 putWord32be v_10 putWord8 (130 :: Word8) putWord16be v_11 putWord16be v_12 putWord8 (254 :: Word8) putWord16be 27392 putWord16be v_13 putWord8 (33 :: Word8) putWord8 v_14 putWord32be 2886830717 putWord16be 60492 putWord8 v_15 putWord32be v_16 putWord32be 3270584180 putWord8 v_17 putWord8 (124 :: Word8) putWord8 (129 :: Word8) putWord32be 1883577371 putWord32be v_18 putWord16be 12671 putWord8 v_19 putWord32be v_20 putWord8 (115 :: Word8) putWord16be v_21 putWord8 v_22 putWord8 (32 :: Word8) putWord16be 4550 putWord32be 4262293287 putWord16be v_23 putWord8 (151 :: Word8) putWord16be v_24 putWord8 v_25 putWord32be v_26 putWord8 (149 :: Word8) putWord16be v_27 putWord8 (67 :: Word8) putWord16be 7060 putWord32be 630441585 putWord32be 1877597801 putWord16be 40996 putWord16be 52982 putWord32be 1387114885 putWord16be v_28 putWord8 v_29 putWord8 (145 :: Word8) putWord8 v_30 putWord16be v_31 putWord8 (184 :: Word8) putWord16be 49552 putWord32be v_32 putWord32be 1479873309 putWord32be v_33 putWord8 (69 :: Word8) putWord32be 595851813 putWord8 (79 :: Word8) putWord16be 26058 putWord32be 945175652 putWord16be 57975 putWord32be v_34 putWord16be v_35 putWord8 v_36 putWord32be 823389206 putWord8 (101 :: Word8) putWord32be v_37 putWord8 v_38 putWord16be 7189 putWord32be v_39 putWord8 (203 :: Word8) putWord32be 1216252055 putWord32be 3590855486 putWord16be 11002 putWord8 (104 :: Word8) putWord32be 158196975 putWord8 (132 :: Word8) putWord16be 37409 putWord32be v_40 putWord32be v_41 putWord16be 36703 putWord8 v_42 putWord8 (169 :: Word8) putWord16be 51949 putWord32be 2266927124 putWord32be 4125292452 putWord8 v_43 putWord16be v_44 putWord8 v_45 putWord16be v_46 putWord32be 368495509 putWord32be 1397684059 putWord32be 3116805292 putWord8 (112 :: Word8) putWord8 (250 :: Word8) putWord8 v_47 putWord32be 1232463606 putWord8 (41 :: Word8) putWord32be v_48 putWord8 (108 :: Word8) putWord16be 64853 putWord32be v_49 putWord8 (86 :: Word8) putWord16be 32412 putWord8 (31 :: Word8) putWord8 v_50 putWord8 (80 :: Word8) putWord32be v_51 putWord8 (43 :: Word8) putWord32be 301494050 return () static_structure = StaticStructure {properties = [Value (Word8Value 129),Hole {byte_offset = 1, hole_type = Word32Hole},Value (Word32Value 1745008075),Value (Word8Value 237),Value (Word16Value 34986),Hole {byte_offset = 12, hole_type = Word8Hole},Hole {byte_offset = 13, hole_type = Word32Hole},Hole {byte_offset = 17, hole_type = Word16Hole},Hole {byte_offset = 19, hole_type = Word32Hole},Value (Word8Value 33),Hole {byte_offset = 24, hole_type = Word16Hole},Hole {byte_offset = 26, hole_type = Word32Hole},Hole {byte_offset = 30, hole_type = Word32Hole},Hole {byte_offset = 34, hole_type = Word16Hole},Hole {byte_offset = 36, hole_type = Word8Hole},Value (Word16Value 37242),Hole {byte_offset = 39, hole_type = Word32Hole},Value (Word8Value 130),Hole {byte_offset = 44, hole_type = Word16Hole},Hole {byte_offset = 46, hole_type = Word16Hole},Value (Word8Value 254),Value (Word16Value 27392),Hole {byte_offset = 51, hole_type = Word16Hole},Value (Word8Value 33),Hole {byte_offset = 54, hole_type = Word8Hole},Value (Word32Value 2886830717),Value (Word16Value 60492),Hole {byte_offset = 61, hole_type = Word8Hole},Hole {byte_offset = 62, hole_type = Word32Hole},Value (Word32Value 3270584180),Hole {byte_offset = 70, hole_type = Word8Hole},Value (Word8Value 124),Value (Word8Value 129),Value (Word32Value 1883577371),Hole {byte_offset = 77, hole_type = Word32Hole},Value (Word16Value 12671),Hole {byte_offset = 83, hole_type = Word8Hole},Hole {byte_offset = 84, hole_type = Word32Hole},Value (Word8Value 115),Hole {byte_offset = 89, hole_type = Word16Hole},Hole {byte_offset = 91, hole_type = Word8Hole},Value (Word8Value 32),Value (Word16Value 4550),Value (Word32Value 4262293287),Hole {byte_offset = 99, hole_type = Word16Hole},Value (Word8Value 151),Hole {byte_offset = 102, hole_type = Word16Hole},Hole {byte_offset = 104, hole_type = Word8Hole},Hole {byte_offset = 105, hole_type = Word32Hole},Value (Word8Value 149),Hole {byte_offset = 110, hole_type = Word16Hole},Value (Word8Value 67),Value (Word16Value 7060),Value (Word32Value 630441585),Value (Word32Value 1877597801),Value (Word16Value 40996),Value (Word16Value 52982),Value (Word32Value 1387114885),Hole {byte_offset = 131, hole_type = Word16Hole},Hole {byte_offset = 133, hole_type = Word8Hole},Value (Word8Value 145),Hole {byte_offset = 135, hole_type = Word8Hole},Hole {byte_offset = 136, hole_type = Word16Hole},Value (Word8Value 184),Value (Word16Value 49552),Hole {byte_offset = 141, hole_type = Word32Hole},Value (Word32Value 1479873309),Hole {byte_offset = 149, hole_type = Word32Hole},Value (Word8Value 69),Value (Word32Value 595851813),Value (Word8Value 79),Value (Word16Value 26058),Value (Word32Value 945175652),Value (Word16Value 57975),Hole {byte_offset = 167, hole_type = Word32Hole},Hole {byte_offset = 171, hole_type = Word16Hole},Hole {byte_offset = 173, hole_type = Word8Hole},Value (Word32Value 823389206),Value (Word8Value 101),Hole {byte_offset = 179, hole_type = Word32Hole},Hole {byte_offset = 183, hole_type = Word8Hole},Value (Word16Value 7189),Hole {byte_offset = 186, hole_type = Word32Hole},Value (Word8Value 203),Value (Word32Value 1216252055),Value (Word32Value 3590855486),Value (Word16Value 11002),Value (Word8Value 104),Value (Word32Value 158196975),Value (Word8Value 132),Value (Word16Value 37409),Hole {byte_offset = 209, hole_type = Word32Hole},Hole {byte_offset = 213, hole_type = Word32Hole},Value (Word16Value 36703),Hole {byte_offset = 219, hole_type = Word8Hole},Value (Word8Value 169),Value (Word16Value 51949),Value (Word32Value 2266927124),Value (Word32Value 4125292452),Hole {byte_offset = 231, hole_type = Word8Hole},Hole {byte_offset = 232, hole_type = Word16Hole},Hole {byte_offset = 234, hole_type = Word8Hole},Hole {byte_offset = 235, hole_type = Word16Hole},Value (Word32Value 368495509),Value (Word32Value 1397684059),Value (Word32Value 3116805292),Value (Word8Value 112),Value (Word8Value 250),Hole {byte_offset = 251, hole_type = Word8Hole},Value (Word32Value 1232463606),Value (Word8Value 41),Hole {byte_offset = 257, hole_type = Word32Hole},Value (Word8Value 108),Value (Word16Value 64853),Hole {byte_offset = 264, hole_type = Word32Hole},Value (Word8Value 86),Value (Word16Value 32412),Value (Word8Value 31),Hole {byte_offset = 272, hole_type = Word8Hole},Value (Word8Value 80),Hole {byte_offset = 274, hole_type = Word32Hole},Value (Word8Value 43),Value (Word32Value 301494050)]}