bind-marshal-0.1: test/TestCases/FullStaticCase11.hs
module TestCases.FullStaticCase11 where
import Bind.Marshal.Prelude
import Bind.Marshal.Action.Base
import Bind.Marshal.Action.Monad.Static
import Bind.Marshal.Action.Static
import Bind.Marshal.DesAction.Static
import Bind.Marshal.SerAction.Static
import Bind.Marshal.StaticProperties
import Bind.Marshal.StdLib.Des
import Bind.Marshal.StdLib.Utils.Des
import Bind.Marshal.StdLib.Ser
import Bind.Marshal.StdLib.Utils.Ser
import ArbMarshal
import ArbMarshal.GenCode.Utils
import Data.Word
des_static_structure = do
v_0 :: Word8 <- des
70 :: Word8 <- des
20140 :: Word16 <- des_word16_be
4 :: Word8 <- des
v_1 :: Word32 <- des_word32_be
v_2 :: Word8 <- des
v_3 :: Word32 <- des_word32_be
v_4 :: Word8 <- des
v_5 :: Word8 <- des
v_6 :: Word32 <- des_word32_be
v_7 :: Word8 <- des
v_8 :: Word16 <- des_word16_be
9 :: Word8 <- des
v_9 :: Word32 <- des_word32_be
44272 :: Word16 <- des_word16_be
11775 :: Word16 <- des_word16_be
33551 :: Word16 <- des_word16_be
v_10 :: Word16 <- des_word16_be
v_11 :: Word8 <- des
v_12 :: Word16 <- des_word16_be
v_13 :: Word8 <- des
200 :: Word8 <- des
v_14 :: Word8 <- des
v_15 :: Word32 <- des_word32_be
v_16 :: Word8 <- des
2247970354 :: Word32 <- des_word32_be
v_17 :: Word16 <- des_word16_be
63013 :: Word16 <- des_word16_be
v_18 :: Word32 <- des_word32_be
v_19 :: Word32 <- des_word32_be
3542619027 :: Word32 <- des_word32_be
v_20 :: Word32 <- des_word32_be
v_21 :: Word16 <- des_word16_be
v_22 :: Word32 <- des_word32_be
v_23 :: Word8 <- des
101 :: Word8 <- des
117 :: Word8 <- des
v_24 :: Word32 <- des_word32_be
45565 :: Word16 <- des_word16_be
v_25 :: Word32 <- des_word32_be
36576 :: Word16 <- des_word16_be
1087476255 :: Word32 <- des_word32_be
45826 :: Word16 <- des_word16_be
3691786044 :: Word32 <- des_word32_be
11034 :: Word16 <- des_word16_be
v_26 :: Word8 <- des
v_27 :: Word32 <- des_word32_be
v_28 :: Word32 <- des_word32_be
1631965023 :: Word32 <- des_word32_be
v_29 :: Word8 <- des
v_30 :: Word8 <- des
3460574868 :: Word32 <- des_word32_be
26731 :: Word16 <- des_word16_be
55130 :: Word16 <- des_word16_be
v_31 :: Word16 <- des_word16_be
22 :: Word8 <- des
137 :: Word8 <- des
36665 :: Word16 <- des_word16_be
61614 :: Word16 <- des_word16_be
v_32 :: Word16 <- des_word16_be
v_33 :: Word8 <- des
v_34 :: Word8 <- des
4535 :: Word16 <- des_word16_be
v_35 :: Word8 <- des
4674 :: Word16 <- des_word16_be
v_36 :: Word32 <- des_word32_be
4185831643 :: Word32 <- des_word32_be
v_37 :: Word16 <- des_word16_be
4193677881 :: Word32 <- des_word32_be
v_38 :: Word32 <- des_word32_be
v_39 :: Word8 <- des
v_40 :: Word8 <- des
13061 :: Word16 <- des_word16_be
194 :: Word8 <- des
v_41 :: Word32 <- des_word32_be
235 :: Word8 <- des
3183868286 :: Word32 <- des_word32_be
58861 :: Word16 <- des_word16_be
2798 :: Word16 <- des_word16_be
v_42 :: Word16 <- des_word16_be
v_43 :: Word32 <- des_word32_be
3303353037 :: Word32 <- des_word32_be
34 :: Word8 <- des
226 :: Word8 <- des
v_44 :: Word16 <- des_word16_be
v_45 :: Word8 <- des
v_46 :: Word32 <- des_word32_be
1141278250 :: Word32 <- des_word32_be
v_47 :: Word16 <- des_word16_be
v_48 :: Word8 <- des
107 :: Word8 <- des
338863384 :: Word32 <- des_word32_be
170 :: Word8 <- des
static_return [ Word8Value v_0 , Word32Value v_1 , Word8Value v_2 , Word32Value v_3 , Word8Value v_4 , Word8Value v_5 , Word32Value v_6 , Word8Value v_7 , Word16Value v_8 , Word32Value v_9 , Word16Value v_10 , Word8Value v_11 , Word16Value v_12 , Word8Value v_13 , Word8Value v_14 , Word32Value v_15 , Word8Value v_16 , Word16Value v_17 , Word32Value v_18 , Word32Value v_19 , Word32Value v_20 , Word16Value v_21 , Word32Value v_22 , Word8Value v_23 , Word32Value v_24 , Word32Value v_25 , Word8Value v_26 , Word32Value v_27 , Word32Value v_28 , Word8Value v_29 , Word8Value v_30 , Word16Value v_31 , Word16Value v_32 , Word8Value v_33 , Word8Value v_34 , Word8Value v_35 , Word32Value v_36 , Word16Value v_37 , Word32Value v_38 , Word8Value v_39 , Word8Value v_40 , Word32Value v_41 , Word16Value v_42 , Word32Value v_43 , Word16Value v_44 , Word8Value v_45 , Word32Value v_46 , Word16Value v_47 , Word8Value v_48 ]
ser_static_structure vs = do
let [ Word8Value v_0 , Word32Value v_1 , Word8Value v_2 , Word32Value v_3 , Word8Value v_4 , Word8Value v_5 , Word32Value v_6 , Word8Value v_7 , Word16Value v_8 , Word32Value v_9 , Word16Value v_10 , Word8Value v_11 , Word16Value v_12 , Word8Value v_13 , Word8Value v_14 , Word32Value v_15 , Word8Value v_16 , Word16Value v_17 , Word32Value v_18 , Word32Value v_19 , Word32Value v_20 , Word16Value v_21 , Word32Value v_22 , Word8Value v_23 , Word32Value v_24 , Word32Value v_25 , Word8Value v_26 , Word32Value v_27 , Word32Value v_28 , Word8Value v_29 , Word8Value v_30 , Word16Value v_31 , Word16Value v_32 , Word8Value v_33 , Word8Value v_34 , Word8Value v_35 , Word32Value v_36 , Word16Value v_37 , Word32Value v_38 , Word8Value v_39 , Word8Value v_40 , Word32Value v_41 , Word16Value v_42 , Word32Value v_43 , Word16Value v_44 , Word8Value v_45 , Word32Value v_46 , Word16Value v_47 , Word8Value v_48 ] = vs
ser v_0
ser (70 :: Word8)
ser_word16_be 20140
ser (4 :: Word8)
ser_word32_be v_1
ser v_2
ser_word32_be v_3
ser v_4
ser v_5
ser_word32_be v_6
ser v_7
ser_word16_be v_8
ser (9 :: Word8)
ser_word32_be v_9
ser_word16_be 44272
ser_word16_be 11775
ser_word16_be 33551
ser_word16_be v_10
ser v_11
ser_word16_be v_12
ser v_13
ser (200 :: Word8)
ser v_14
ser_word32_be v_15
ser v_16
ser_word32_be 2247970354
ser_word16_be v_17
ser_word16_be 63013
ser_word32_be v_18
ser_word32_be v_19
ser_word32_be 3542619027
ser_word32_be v_20
ser_word16_be v_21
ser_word32_be v_22
ser v_23
ser (101 :: Word8)
ser (117 :: Word8)
ser_word32_be v_24
ser_word16_be 45565
ser_word32_be v_25
ser_word16_be 36576
ser_word32_be 1087476255
ser_word16_be 45826
ser_word32_be 3691786044
ser_word16_be 11034
ser v_26
ser_word32_be v_27
ser_word32_be v_28
ser_word32_be 1631965023
ser v_29
ser v_30
ser_word32_be 3460574868
ser_word16_be 26731
ser_word16_be 55130
ser_word16_be v_31
ser (22 :: Word8)
ser (137 :: Word8)
ser_word16_be 36665
ser_word16_be 61614
ser_word16_be v_32
ser v_33
ser v_34
ser_word16_be 4535
ser v_35
ser_word16_be 4674
ser_word32_be v_36
ser_word32_be 4185831643
ser_word16_be v_37
ser_word32_be 4193677881
ser_word32_be v_38
ser v_39
ser v_40
ser_word16_be 13061
ser (194 :: Word8)
ser_word32_be v_41
ser (235 :: Word8)
ser_word32_be 3183868286
ser_word16_be 58861
ser_word16_be 2798
ser_word16_be v_42
ser_word32_be v_43
ser_word32_be 3303353037
ser (34 :: Word8)
ser (226 :: Word8)
ser_word16_be v_44
ser v_45
ser_word32_be v_46
ser_word32_be 1141278250
ser_word16_be v_47
ser v_48
ser (107 :: Word8)
ser_word32_be 338863384
ser (170 :: Word8)
static_return ()
static_structure = StaticStructure {properties = [Hole {byte_offset = 0, hole_type = Word8Hole},Value (Word8Value 70),Value (Word16Value 20140),Value (Word8Value 4),Hole {byte_offset = 5, hole_type = Word32Hole},Hole {byte_offset = 9, hole_type = Word8Hole},Hole {byte_offset = 10, hole_type = Word32Hole},Hole {byte_offset = 14, hole_type = Word8Hole},Hole {byte_offset = 15, hole_type = Word8Hole},Hole {byte_offset = 16, hole_type = Word32Hole},Hole {byte_offset = 20, hole_type = Word8Hole},Hole {byte_offset = 21, hole_type = Word16Hole},Value (Word8Value 9),Hole {byte_offset = 24, hole_type = Word32Hole},Value (Word16Value 44272),Value (Word16Value 11775),Value (Word16Value 33551),Hole {byte_offset = 34, hole_type = Word16Hole},Hole {byte_offset = 36, hole_type = Word8Hole},Hole {byte_offset = 37, hole_type = Word16Hole},Hole {byte_offset = 39, hole_type = Word8Hole},Value (Word8Value 200),Hole {byte_offset = 41, hole_type = Word8Hole},Hole {byte_offset = 42, hole_type = Word32Hole},Hole {byte_offset = 46, hole_type = Word8Hole},Value (Word32Value 2247970354),Hole {byte_offset = 51, hole_type = Word16Hole},Value (Word16Value 63013),Hole {byte_offset = 55, hole_type = Word32Hole},Hole {byte_offset = 59, hole_type = Word32Hole},Value (Word32Value 3542619027),Hole {byte_offset = 67, hole_type = Word32Hole},Hole {byte_offset = 71, hole_type = Word16Hole},Hole {byte_offset = 73, hole_type = Word32Hole},Hole {byte_offset = 77, hole_type = Word8Hole},Value (Word8Value 101),Value (Word8Value 117),Hole {byte_offset = 80, hole_type = Word32Hole},Value (Word16Value 45565),Hole {byte_offset = 86, hole_type = Word32Hole},Value (Word16Value 36576),Value (Word32Value 1087476255),Value (Word16Value 45826),Value (Word32Value 3691786044),Value (Word16Value 11034),Hole {byte_offset = 104, hole_type = Word8Hole},Hole {byte_offset = 105, hole_type = Word32Hole},Hole {byte_offset = 109, hole_type = Word32Hole},Value (Word32Value 1631965023),Hole {byte_offset = 117, hole_type = Word8Hole},Hole {byte_offset = 118, hole_type = Word8Hole},Value (Word32Value 3460574868),Value (Word16Value 26731),Value (Word16Value 55130),Hole {byte_offset = 127, hole_type = Word16Hole},Value (Word8Value 22),Value (Word8Value 137),Value (Word16Value 36665),Value (Word16Value 61614),Hole {byte_offset = 135, hole_type = Word16Hole},Hole {byte_offset = 137, hole_type = Word8Hole},Hole {byte_offset = 138, hole_type = Word8Hole},Value (Word16Value 4535),Hole {byte_offset = 141, hole_type = Word8Hole},Value (Word16Value 4674),Hole {byte_offset = 144, hole_type = Word32Hole},Value (Word32Value 4185831643),Hole {byte_offset = 152, hole_type = Word16Hole},Value (Word32Value 4193677881),Hole {byte_offset = 158, hole_type = Word32Hole},Hole {byte_offset = 162, hole_type = Word8Hole},Hole {byte_offset = 163, hole_type = Word8Hole},Value (Word16Value 13061),Value (Word8Value 194),Hole {byte_offset = 167, hole_type = Word32Hole},Value (Word8Value 235),Value (Word32Value 3183868286),Value (Word16Value 58861),Value (Word16Value 2798),Hole {byte_offset = 180, hole_type = Word16Hole},Hole {byte_offset = 182, hole_type = Word32Hole},Value (Word32Value 3303353037),Value (Word8Value 34),Value (Word8Value 226),Hole {byte_offset = 192, hole_type = Word16Hole},Hole {byte_offset = 194, hole_type = Word8Hole},Hole {byte_offset = 195, hole_type = Word32Hole},Value (Word32Value 1141278250),Hole {byte_offset = 203, hole_type = Word16Hole},Hole {byte_offset = 205, hole_type = Word8Hole},Value (Word8Value 107),Value (Word32Value 338863384),Value (Word8Value 170)]}