bind-marshal-0.1: test/TestCases/FullStaticCase9.hs
module TestCases.FullStaticCase9 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 :: Word16 <- des_word16_be
v_1 :: Word32 <- des_word32_be
209 :: Word8 <- des
v_2 :: Word8 <- des
v_3 :: Word32 <- des_word32_be
v_4 :: Word16 <- des_word16_be
v_5 :: Word32 <- des_word32_be
v_6 :: Word8 <- des
v_7 :: Word32 <- des_word32_be
v_8 :: Word8 <- des
39260 :: Word16 <- des_word16_be
211 :: Word8 <- des
57863 :: Word16 <- des_word16_be
14767 :: Word16 <- des_word16_be
154 :: Word8 <- des
v_9 :: Word16 <- des_word16_be
155 :: Word8 <- des
27071 :: Word16 <- des_word16_be
v_10 :: Word32 <- des_word32_be
23025 :: Word16 <- des_word16_be
1925355127 :: Word32 <- des_word32_be
v_11 :: Word16 <- des_word16_be
57573 :: Word16 <- des_word16_be
48378 :: Word16 <- des_word16_be
2991714902 :: Word32 <- des_word32_be
186 :: Word8 <- des
v_12 :: Word8 <- des
57 :: Word8 <- des
v_13 :: Word8 <- des
v_14 :: Word16 <- des_word16_be
27402 :: Word16 <- des_word16_be
217 :: Word8 <- des
630684348 :: Word32 <- des_word32_be
45633 :: Word16 <- des_word16_be
55 :: Word8 <- des
52000 :: Word16 <- des_word16_be
99 :: Word8 <- des
1625916310 :: Word32 <- des_word32_be
1409611805 :: Word32 <- des_word32_be
v_15 :: Word32 <- des_word32_be
v_16 :: Word8 <- des
8277 :: Word16 <- des_word16_be
v_17 :: Word16 <- des_word16_be
v_18 :: Word16 <- des_word16_be
v_19 :: Word8 <- des
181 :: Word8 <- des
1802738815 :: Word32 <- des_word32_be
30659 :: Word16 <- des_word16_be
2632422524 :: Word32 <- des_word32_be
52233 :: Word16 <- des_word16_be
82 :: Word8 <- des
v_20 :: Word8 <- des
18180 :: Word16 <- des_word16_be
v_21 :: Word32 <- des_word32_be
231 :: Word8 <- des
4112411337 :: Word32 <- des_word32_be
v_22 :: Word8 <- des
567386867 :: Word32 <- des_word32_be
2 :: Word8 <- des
v_23 :: Word32 <- des_word32_be
v_24 :: Word8 <- des
v_25 :: Word8 <- des
v_26 :: Word32 <- des_word32_be
v_27 :: Word32 <- des_word32_be
v_28 :: Word32 <- des_word32_be
24 :: Word8 <- des
4367 :: Word16 <- des_word16_be
20100 :: Word16 <- des_word16_be
v_29 :: Word32 <- des_word32_be
v_30 :: Word8 <- des
v_31 :: Word32 <- des_word32_be
v_32 :: Word32 <- des_word32_be
1562301866 :: Word32 <- des_word32_be
42964 :: Word16 <- des_word16_be
57690 :: Word16 <- des_word16_be
v_33 :: Word16 <- des_word16_be
v_34 :: Word16 <- des_word16_be
1955177252 :: Word32 <- des_word32_be
90 :: Word8 <- des
v_35 :: Word8 <- des
1823558854 :: Word32 <- des_word32_be
v_36 :: Word32 <- des_word32_be
v_37 :: Word32 <- des_word32_be
71 :: Word8 <- des
v_38 :: Word32 <- des_word32_be
1987288448 :: Word32 <- des_word32_be
3103922222 :: Word32 <- des_word32_be
205 :: Word8 <- des
v_39 :: Word16 <- des_word16_be
v_40 :: Word8 <- des
v_41 :: Word32 <- des_word32_be
v_42 :: Word16 <- des_word16_be
2440134852 :: Word32 <- des_word32_be
20336 :: Word16 <- des_word16_be
3712755120 :: Word32 <- des_word32_be
141 :: Word8 <- des
9 :: Word8 <- des
328639594 :: Word32 <- des_word32_be
v_43 :: Word16 <- des_word16_be
377744175 :: Word32 <- des_word32_be
3851718104 :: Word32 <- des_word32_be
176 :: Word8 <- des
112 :: Word8 <- des
1255559602 :: Word32 <- des_word32_be
v_44 :: Word8 <- des
v_45 :: Word8 <- des
v_46 :: Word8 <- des
v_47 :: Word8 <- des
v_48 :: Word32 <- des_word32_be
3130 :: Word16 <- des_word16_be
v_49 :: Word32 <- des_word32_be
v_50 :: Word32 <- des_word32_be
v_51 :: Word32 <- des_word32_be
v_52 :: Word16 <- des_word16_be
254 :: Word8 <- des
v_53 :: Word32 <- des_word32_be
19581 :: Word16 <- des_word16_be
v_54 :: Word32 <- des_word32_be
v_55 :: Word8 <- des
v_56 :: Word16 <- des_word16_be
4047053620 :: Word32 <- des_word32_be
v_57 :: Word16 <- des_word16_be
34002 :: Word16 <- des_word16_be
1959268807 :: Word32 <- des_word32_be
static_return [ Word16Value v_0 , Word32Value v_1 , Word8Value v_2 , Word32Value v_3 , Word16Value v_4 , Word32Value v_5 , Word8Value v_6 , Word32Value v_7 , Word8Value v_8 , Word16Value v_9 , Word32Value v_10 , Word16Value v_11 , Word8Value v_12 , Word8Value v_13 , Word16Value v_14 , Word32Value v_15 , Word8Value v_16 , Word16Value v_17 , Word16Value v_18 , Word8Value v_19 , Word8Value v_20 , Word32Value v_21 , Word8Value v_22 , Word32Value v_23 , Word8Value v_24 , Word8Value v_25 , Word32Value v_26 , Word32Value v_27 , Word32Value v_28 , Word32Value v_29 , Word8Value v_30 , Word32Value v_31 , Word32Value v_32 , Word16Value v_33 , Word16Value v_34 , Word8Value v_35 , Word32Value v_36 , Word32Value v_37 , Word32Value v_38 , Word16Value v_39 , Word8Value v_40 , Word32Value v_41 , Word16Value v_42 , Word16Value v_43 , Word8Value v_44 , Word8Value v_45 , Word8Value v_46 , Word8Value v_47 , Word32Value v_48 , Word32Value v_49 , Word32Value v_50 , Word32Value v_51 , Word16Value v_52 , Word32Value v_53 , Word32Value v_54 , Word8Value v_55 , Word16Value v_56 , Word16Value v_57 ]
ser_static_structure vs = do
let [ Word16Value v_0 , Word32Value v_1 , Word8Value v_2 , Word32Value v_3 , Word16Value v_4 , Word32Value v_5 , Word8Value v_6 , Word32Value v_7 , Word8Value v_8 , Word16Value v_9 , Word32Value v_10 , Word16Value v_11 , Word8Value v_12 , Word8Value v_13 , Word16Value v_14 , Word32Value v_15 , Word8Value v_16 , Word16Value v_17 , Word16Value v_18 , Word8Value v_19 , Word8Value v_20 , Word32Value v_21 , Word8Value v_22 , Word32Value v_23 , Word8Value v_24 , Word8Value v_25 , Word32Value v_26 , Word32Value v_27 , Word32Value v_28 , Word32Value v_29 , Word8Value v_30 , Word32Value v_31 , Word32Value v_32 , Word16Value v_33 , Word16Value v_34 , Word8Value v_35 , Word32Value v_36 , Word32Value v_37 , Word32Value v_38 , Word16Value v_39 , Word8Value v_40 , Word32Value v_41 , Word16Value v_42 , Word16Value v_43 , Word8Value v_44 , Word8Value v_45 , Word8Value v_46 , Word8Value v_47 , Word32Value v_48 , Word32Value v_49 , Word32Value v_50 , Word32Value v_51 , Word16Value v_52 , Word32Value v_53 , Word32Value v_54 , Word8Value v_55 , Word16Value v_56 , Word16Value v_57 ] = vs
ser_word16_be v_0
ser_word32_be v_1
ser (209 :: Word8)
ser v_2
ser_word32_be v_3
ser_word16_be v_4
ser_word32_be v_5
ser v_6
ser_word32_be v_7
ser v_8
ser_word16_be 39260
ser (211 :: Word8)
ser_word16_be 57863
ser_word16_be 14767
ser (154 :: Word8)
ser_word16_be v_9
ser (155 :: Word8)
ser_word16_be 27071
ser_word32_be v_10
ser_word16_be 23025
ser_word32_be 1925355127
ser_word16_be v_11
ser_word16_be 57573
ser_word16_be 48378
ser_word32_be 2991714902
ser (186 :: Word8)
ser v_12
ser (57 :: Word8)
ser v_13
ser_word16_be v_14
ser_word16_be 27402
ser (217 :: Word8)
ser_word32_be 630684348
ser_word16_be 45633
ser (55 :: Word8)
ser_word16_be 52000
ser (99 :: Word8)
ser_word32_be 1625916310
ser_word32_be 1409611805
ser_word32_be v_15
ser v_16
ser_word16_be 8277
ser_word16_be v_17
ser_word16_be v_18
ser v_19
ser (181 :: Word8)
ser_word32_be 1802738815
ser_word16_be 30659
ser_word32_be 2632422524
ser_word16_be 52233
ser (82 :: Word8)
ser v_20
ser_word16_be 18180
ser_word32_be v_21
ser (231 :: Word8)
ser_word32_be 4112411337
ser v_22
ser_word32_be 567386867
ser (2 :: Word8)
ser_word32_be v_23
ser v_24
ser v_25
ser_word32_be v_26
ser_word32_be v_27
ser_word32_be v_28
ser (24 :: Word8)
ser_word16_be 4367
ser_word16_be 20100
ser_word32_be v_29
ser v_30
ser_word32_be v_31
ser_word32_be v_32
ser_word32_be 1562301866
ser_word16_be 42964
ser_word16_be 57690
ser_word16_be v_33
ser_word16_be v_34
ser_word32_be 1955177252
ser (90 :: Word8)
ser v_35
ser_word32_be 1823558854
ser_word32_be v_36
ser_word32_be v_37
ser (71 :: Word8)
ser_word32_be v_38
ser_word32_be 1987288448
ser_word32_be 3103922222
ser (205 :: Word8)
ser_word16_be v_39
ser v_40
ser_word32_be v_41
ser_word16_be v_42
ser_word32_be 2440134852
ser_word16_be 20336
ser_word32_be 3712755120
ser (141 :: Word8)
ser (9 :: Word8)
ser_word32_be 328639594
ser_word16_be v_43
ser_word32_be 377744175
ser_word32_be 3851718104
ser (176 :: Word8)
ser (112 :: Word8)
ser_word32_be 1255559602
ser v_44
ser v_45
ser v_46
ser v_47
ser_word32_be v_48
ser_word16_be 3130
ser_word32_be v_49
ser_word32_be v_50
ser_word32_be v_51
ser_word16_be v_52
ser (254 :: Word8)
ser_word32_be v_53
ser_word16_be 19581
ser_word32_be v_54
ser v_55
ser_word16_be v_56
ser_word32_be 4047053620
ser_word16_be v_57
ser_word16_be 34002
ser_word32_be 1959268807
static_return ()
static_structure = StaticStructure {properties = [Hole {byte_offset = 0, hole_type = Word16Hole},Hole {byte_offset = 2, hole_type = Word32Hole},Value (Word8Value 209),Hole {byte_offset = 7, hole_type = Word8Hole},Hole {byte_offset = 8, hole_type = Word32Hole},Hole {byte_offset = 12, hole_type = Word16Hole},Hole {byte_offset = 14, hole_type = Word32Hole},Hole {byte_offset = 18, hole_type = Word8Hole},Hole {byte_offset = 19, hole_type = Word32Hole},Hole {byte_offset = 23, hole_type = Word8Hole},Value (Word16Value 39260),Value (Word8Value 211),Value (Word16Value 57863),Value (Word16Value 14767),Value (Word8Value 154),Hole {byte_offset = 32, hole_type = Word16Hole},Value (Word8Value 155),Value (Word16Value 27071),Hole {byte_offset = 37, hole_type = Word32Hole},Value (Word16Value 23025),Value (Word32Value 1925355127),Hole {byte_offset = 47, hole_type = Word16Hole},Value (Word16Value 57573),Value (Word16Value 48378),Value (Word32Value 2991714902),Value (Word8Value 186),Hole {byte_offset = 58, hole_type = Word8Hole},Value (Word8Value 57),Hole {byte_offset = 60, hole_type = Word8Hole},Hole {byte_offset = 61, hole_type = Word16Hole},Value (Word16Value 27402),Value (Word8Value 217),Value (Word32Value 630684348),Value (Word16Value 45633),Value (Word8Value 55),Value (Word16Value 52000),Value (Word8Value 99),Value (Word32Value 1625916310),Value (Word32Value 1409611805),Hole {byte_offset = 84, hole_type = Word32Hole},Hole {byte_offset = 88, hole_type = Word8Hole},Value (Word16Value 8277),Hole {byte_offset = 91, hole_type = Word16Hole},Hole {byte_offset = 93, hole_type = Word16Hole},Hole {byte_offset = 95, hole_type = Word8Hole},Value (Word8Value 181),Value (Word32Value 1802738815),Value (Word16Value 30659),Value (Word32Value 2632422524),Value (Word16Value 52233),Value (Word8Value 82),Hole {byte_offset = 110, hole_type = Word8Hole},Value (Word16Value 18180),Hole {byte_offset = 113, hole_type = Word32Hole},Value (Word8Value 231),Value (Word32Value 4112411337),Hole {byte_offset = 122, hole_type = Word8Hole},Value (Word32Value 567386867),Value (Word8Value 2),Hole {byte_offset = 128, hole_type = Word32Hole},Hole {byte_offset = 132, hole_type = Word8Hole},Hole {byte_offset = 133, hole_type = Word8Hole},Hole {byte_offset = 134, hole_type = Word32Hole},Hole {byte_offset = 138, hole_type = Word32Hole},Hole {byte_offset = 142, hole_type = Word32Hole},Value (Word8Value 24),Value (Word16Value 4367),Value (Word16Value 20100),Hole {byte_offset = 151, hole_type = Word32Hole},Hole {byte_offset = 155, hole_type = Word8Hole},Hole {byte_offset = 156, hole_type = Word32Hole},Hole {byte_offset = 160, hole_type = Word32Hole},Value (Word32Value 1562301866),Value (Word16Value 42964),Value (Word16Value 57690),Hole {byte_offset = 172, hole_type = Word16Hole},Hole {byte_offset = 174, hole_type = Word16Hole},Value (Word32Value 1955177252),Value (Word8Value 90),Hole {byte_offset = 181, hole_type = Word8Hole},Value (Word32Value 1823558854),Hole {byte_offset = 186, hole_type = Word32Hole},Hole {byte_offset = 190, hole_type = Word32Hole},Value (Word8Value 71),Hole {byte_offset = 195, hole_type = Word32Hole},Value (Word32Value 1987288448),Value (Word32Value 3103922222),Value (Word8Value 205),Hole {byte_offset = 208, hole_type = Word16Hole},Hole {byte_offset = 210, hole_type = Word8Hole},Hole {byte_offset = 211, hole_type = Word32Hole},Hole {byte_offset = 215, hole_type = Word16Hole},Value (Word32Value 2440134852),Value (Word16Value 20336),Value (Word32Value 3712755120),Value (Word8Value 141),Value (Word8Value 9),Value (Word32Value 328639594),Hole {byte_offset = 233, hole_type = Word16Hole},Value (Word32Value 377744175),Value (Word32Value 3851718104),Value (Word8Value 176),Value (Word8Value 112),Value (Word32Value 1255559602),Hole {byte_offset = 249, hole_type = Word8Hole},Hole {byte_offset = 250, hole_type = Word8Hole},Hole {byte_offset = 251, hole_type = Word8Hole},Hole {byte_offset = 252, hole_type = Word8Hole},Hole {byte_offset = 253, hole_type = Word32Hole},Value (Word16Value 3130),Hole {byte_offset = 259, hole_type = Word32Hole},Hole {byte_offset = 263, hole_type = Word32Hole},Hole {byte_offset = 267, hole_type = Word32Hole},Hole {byte_offset = 271, hole_type = Word16Hole},Value (Word8Value 254),Hole {byte_offset = 274, hole_type = Word32Hole},Value (Word16Value 19581),Hole {byte_offset = 280, hole_type = Word32Hole},Hole {byte_offset = 284, hole_type = Word8Hole},Hole {byte_offset = 285, hole_type = Word16Hole},Value (Word32Value 4047053620),Hole {byte_offset = 291, hole_type = Word16Hole},Value (Word16Value 34002),Value (Word32Value 1959268807)]}