module TestCases.FullStaticCase4 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 129 :: Word8 <- des v_0 :: Word32 <- des_word32_be 1745008075 :: Word32 <- des_word32_be 237 :: Word8 <- des 34986 :: Word16 <- des_word16_be v_1 :: Word8 <- des v_2 :: Word32 <- des_word32_be v_3 :: Word16 <- des_word16_be v_4 :: Word32 <- des_word32_be 33 :: Word8 <- des v_5 :: Word16 <- des_word16_be v_6 :: Word32 <- des_word32_be v_7 :: Word32 <- des_word32_be v_8 :: Word16 <- des_word16_be v_9 :: Word8 <- des 37242 :: Word16 <- des_word16_be v_10 :: Word32 <- des_word32_be 130 :: Word8 <- des v_11 :: Word16 <- des_word16_be v_12 :: Word16 <- des_word16_be 254 :: Word8 <- des 27392 :: Word16 <- des_word16_be v_13 :: Word16 <- des_word16_be 33 :: Word8 <- des v_14 :: Word8 <- des 2886830717 :: Word32 <- des_word32_be 60492 :: Word16 <- des_word16_be v_15 :: Word8 <- des v_16 :: Word32 <- des_word32_be 3270584180 :: Word32 <- des_word32_be v_17 :: Word8 <- des 124 :: Word8 <- des 129 :: Word8 <- des 1883577371 :: Word32 <- des_word32_be v_18 :: Word32 <- des_word32_be 12671 :: Word16 <- des_word16_be v_19 :: Word8 <- des v_20 :: Word32 <- des_word32_be 115 :: Word8 <- des v_21 :: Word16 <- des_word16_be v_22 :: Word8 <- des 32 :: Word8 <- des 4550 :: Word16 <- des_word16_be 4262293287 :: Word32 <- des_word32_be v_23 :: Word16 <- des_word16_be 151 :: Word8 <- des v_24 :: Word16 <- des_word16_be v_25 :: Word8 <- des v_26 :: Word32 <- des_word32_be 149 :: Word8 <- des v_27 :: Word16 <- des_word16_be 67 :: Word8 <- des 7060 :: Word16 <- des_word16_be 630441585 :: Word32 <- des_word32_be 1877597801 :: Word32 <- des_word32_be 40996 :: Word16 <- des_word16_be 52982 :: Word16 <- des_word16_be 1387114885 :: Word32 <- des_word32_be v_28 :: Word16 <- des_word16_be v_29 :: Word8 <- des 145 :: Word8 <- des v_30 :: Word8 <- des v_31 :: Word16 <- des_word16_be 184 :: Word8 <- des 49552 :: Word16 <- des_word16_be v_32 :: Word32 <- des_word32_be 1479873309 :: Word32 <- des_word32_be v_33 :: Word32 <- des_word32_be 69 :: Word8 <- des 595851813 :: Word32 <- des_word32_be 79 :: Word8 <- des 26058 :: Word16 <- des_word16_be 945175652 :: Word32 <- des_word32_be 57975 :: Word16 <- des_word16_be v_34 :: Word32 <- des_word32_be v_35 :: Word16 <- des_word16_be v_36 :: Word8 <- des 823389206 :: Word32 <- des_word32_be 101 :: Word8 <- des v_37 :: Word32 <- des_word32_be v_38 :: Word8 <- des 7189 :: Word16 <- des_word16_be v_39 :: Word32 <- des_word32_be 203 :: Word8 <- des 1216252055 :: Word32 <- des_word32_be 3590855486 :: Word32 <- des_word32_be 11002 :: Word16 <- des_word16_be 104 :: Word8 <- des 158196975 :: Word32 <- des_word32_be 132 :: Word8 <- des 37409 :: Word16 <- des_word16_be v_40 :: Word32 <- des_word32_be v_41 :: Word32 <- des_word32_be 36703 :: Word16 <- des_word16_be v_42 :: Word8 <- des 169 :: Word8 <- des 51949 :: Word16 <- des_word16_be 2266927124 :: Word32 <- des_word32_be 4125292452 :: Word32 <- des_word32_be v_43 :: Word8 <- des v_44 :: Word16 <- des_word16_be v_45 :: Word8 <- des v_46 :: Word16 <- des_word16_be 368495509 :: Word32 <- des_word32_be 1397684059 :: Word32 <- des_word32_be 3116805292 :: Word32 <- des_word32_be 112 :: Word8 <- des 250 :: Word8 <- des v_47 :: Word8 <- des 1232463606 :: Word32 <- des_word32_be 41 :: Word8 <- des v_48 :: Word32 <- des_word32_be 108 :: Word8 <- des 64853 :: Word16 <- des_word16_be v_49 :: Word32 <- des_word32_be 86 :: Word8 <- des 32412 :: Word16 <- des_word16_be 31 :: Word8 <- des v_50 :: Word8 <- des 80 :: Word8 <- des v_51 :: Word32 <- des_word32_be 43 :: Word8 <- des 301494050 :: Word32 <- des_word32_be static_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 ser (129 :: Word8) ser_word32_be v_0 ser_word32_be 1745008075 ser (237 :: Word8) ser_word16_be 34986 ser v_1 ser_word32_be v_2 ser_word16_be v_3 ser_word32_be v_4 ser (33 :: Word8) ser_word16_be v_5 ser_word32_be v_6 ser_word32_be v_7 ser_word16_be v_8 ser v_9 ser_word16_be 37242 ser_word32_be v_10 ser (130 :: Word8) ser_word16_be v_11 ser_word16_be v_12 ser (254 :: Word8) ser_word16_be 27392 ser_word16_be v_13 ser (33 :: Word8) ser v_14 ser_word32_be 2886830717 ser_word16_be 60492 ser v_15 ser_word32_be v_16 ser_word32_be 3270584180 ser v_17 ser (124 :: Word8) ser (129 :: Word8) ser_word32_be 1883577371 ser_word32_be v_18 ser_word16_be 12671 ser v_19 ser_word32_be v_20 ser (115 :: Word8) ser_word16_be v_21 ser v_22 ser (32 :: Word8) ser_word16_be 4550 ser_word32_be 4262293287 ser_word16_be v_23 ser (151 :: Word8) ser_word16_be v_24 ser v_25 ser_word32_be v_26 ser (149 :: Word8) ser_word16_be v_27 ser (67 :: Word8) ser_word16_be 7060 ser_word32_be 630441585 ser_word32_be 1877597801 ser_word16_be 40996 ser_word16_be 52982 ser_word32_be 1387114885 ser_word16_be v_28 ser v_29 ser (145 :: Word8) ser v_30 ser_word16_be v_31 ser (184 :: Word8) ser_word16_be 49552 ser_word32_be v_32 ser_word32_be 1479873309 ser_word32_be v_33 ser (69 :: Word8) ser_word32_be 595851813 ser (79 :: Word8) ser_word16_be 26058 ser_word32_be 945175652 ser_word16_be 57975 ser_word32_be v_34 ser_word16_be v_35 ser v_36 ser_word32_be 823389206 ser (101 :: Word8) ser_word32_be v_37 ser v_38 ser_word16_be 7189 ser_word32_be v_39 ser (203 :: Word8) ser_word32_be 1216252055 ser_word32_be 3590855486 ser_word16_be 11002 ser (104 :: Word8) ser_word32_be 158196975 ser (132 :: Word8) ser_word16_be 37409 ser_word32_be v_40 ser_word32_be v_41 ser_word16_be 36703 ser v_42 ser (169 :: Word8) ser_word16_be 51949 ser_word32_be 2266927124 ser_word32_be 4125292452 ser v_43 ser_word16_be v_44 ser v_45 ser_word16_be v_46 ser_word32_be 368495509 ser_word32_be 1397684059 ser_word32_be 3116805292 ser (112 :: Word8) ser (250 :: Word8) ser v_47 ser_word32_be 1232463606 ser (41 :: Word8) ser_word32_be v_48 ser (108 :: Word8) ser_word16_be 64853 ser_word32_be v_49 ser (86 :: Word8) ser_word16_be 32412 ser (31 :: Word8) ser v_50 ser (80 :: Word8) ser_word32_be v_51 ser (43 :: Word8) ser_word32_be 301494050 static_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)]}