bind-marshal-0.1: test/TestCases/FullStaticCase17.hs
module TestCases.FullStaticCase17 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
v_1 :: Word32 <- des_word32_be
1202589112 :: Word32 <- des_word32_be
1810371418 :: Word32 <- des_word32_be
2647 :: Word16 <- des_word16_be
v_2 :: Word16 <- des_word16_be
v_3 :: Word32 <- des_word32_be
1601 :: Word16 <- des_word16_be
v_4 :: Word16 <- des_word16_be
58644 :: Word16 <- des_word16_be
v_5 :: Word32 <- des_word32_be
v_6 :: Word8 <- des
4243473788 :: Word32 <- des_word32_be
v_7 :: Word8 <- des
v_8 :: Word32 <- des_word32_be
1149154291 :: Word32 <- des_word32_be
70 :: Word8 <- des
v_9 :: Word32 <- des_word32_be
v_10 :: Word16 <- des_word16_be
16 :: Word8 <- des
v_11 :: Word16 <- des_word16_be
116 :: Word8 <- des
v_12 :: Word8 <- des
2210403126 :: Word32 <- des_word32_be
v_13 :: Word8 <- des
1610444058 :: Word32 <- des_word32_be
v_14 :: Word8 <- des
v_15 :: Word32 <- des_word32_be
49651 :: Word16 <- des_word16_be
951016925 :: Word32 <- des_word32_be
v_16 :: Word16 <- des_word16_be
v_17 :: Word16 <- des_word16_be
v_18 :: Word16 <- des_word16_be
v_19 :: Word16 <- des_word16_be
2098628348 :: Word32 <- des_word32_be
28 :: Word8 <- des
33851 :: Word16 <- des_word16_be
v_20 :: Word16 <- des_word16_be
2767108726 :: Word32 <- des_word32_be
243 :: Word8 <- des
61027 :: Word16 <- des_word16_be
v_21 :: Word8 <- des
3046019994 :: Word32 <- des_word32_be
4196051485 :: Word32 <- des_word32_be
v_22 :: Word32 <- des_word32_be
v_23 :: Word8 <- des
v_24 :: Word8 <- des
16093 :: Word16 <- des_word16_be
31748 :: Word16 <- des_word16_be
233 :: Word8 <- des
v_25 :: Word16 <- des_word16_be
3476894092 :: Word32 <- des_word32_be
v_26 :: Word32 <- des_word32_be
34218 :: Word16 <- des_word16_be
v_27 :: Word32 <- des_word32_be
v_28 :: Word8 <- des
v_29 :: Word16 <- des_word16_be
158 :: Word8 <- des
v_30 :: Word32 <- des_word32_be
v_31 :: Word8 <- des
21976 :: Word16 <- des_word16_be
v_32 :: Word16 <- des_word16_be
v_33 :: Word32 <- des_word32_be
48640 :: Word16 <- des_word16_be
static_return [ Word8Value v_0 , Word32Value v_1 , Word16Value v_2 , Word32Value v_3 , Word16Value v_4 , Word32Value v_5 , Word8Value v_6 , Word8Value v_7 , Word32Value v_8 , Word32Value v_9 , Word16Value v_10 , Word16Value v_11 , Word8Value v_12 , Word8Value v_13 , Word8Value v_14 , Word32Value v_15 , Word16Value v_16 , Word16Value v_17 , Word16Value v_18 , Word16Value v_19 , Word16Value v_20 , Word8Value v_21 , Word32Value v_22 , Word8Value v_23 , Word8Value v_24 , Word16Value v_25 , Word32Value v_26 , Word32Value v_27 , Word8Value v_28 , Word16Value v_29 , Word32Value v_30 , Word8Value v_31 , Word16Value v_32 , Word32Value v_33 ]
ser_static_structure vs = do
let [ Word8Value v_0 , Word32Value v_1 , Word16Value v_2 , Word32Value v_3 , Word16Value v_4 , Word32Value v_5 , Word8Value v_6 , Word8Value v_7 , Word32Value v_8 , Word32Value v_9 , Word16Value v_10 , Word16Value v_11 , Word8Value v_12 , Word8Value v_13 , Word8Value v_14 , Word32Value v_15 , Word16Value v_16 , Word16Value v_17 , Word16Value v_18 , Word16Value v_19 , Word16Value v_20 , Word8Value v_21 , Word32Value v_22 , Word8Value v_23 , Word8Value v_24 , Word16Value v_25 , Word32Value v_26 , Word32Value v_27 , Word8Value v_28 , Word16Value v_29 , Word32Value v_30 , Word8Value v_31 , Word16Value v_32 , Word32Value v_33 ] = vs
ser v_0
ser_word32_be v_1
ser_word32_be 1202589112
ser_word32_be 1810371418
ser_word16_be 2647
ser_word16_be v_2
ser_word32_be v_3
ser_word16_be 1601
ser_word16_be v_4
ser_word16_be 58644
ser_word32_be v_5
ser v_6
ser_word32_be 4243473788
ser v_7
ser_word32_be v_8
ser_word32_be 1149154291
ser (70 :: Word8)
ser_word32_be v_9
ser_word16_be v_10
ser (16 :: Word8)
ser_word16_be v_11
ser (116 :: Word8)
ser v_12
ser_word32_be 2210403126
ser v_13
ser_word32_be 1610444058
ser v_14
ser_word32_be v_15
ser_word16_be 49651
ser_word32_be 951016925
ser_word16_be v_16
ser_word16_be v_17
ser_word16_be v_18
ser_word16_be v_19
ser_word32_be 2098628348
ser (28 :: Word8)
ser_word16_be 33851
ser_word16_be v_20
ser_word32_be 2767108726
ser (243 :: Word8)
ser_word16_be 61027
ser v_21
ser_word32_be 3046019994
ser_word32_be 4196051485
ser_word32_be v_22
ser v_23
ser v_24
ser_word16_be 16093
ser_word16_be 31748
ser (233 :: Word8)
ser_word16_be v_25
ser_word32_be 3476894092
ser_word32_be v_26
ser_word16_be 34218
ser_word32_be v_27
ser v_28
ser_word16_be v_29
ser (158 :: Word8)
ser_word32_be v_30
ser v_31
ser_word16_be 21976
ser_word16_be v_32
ser_word32_be v_33
ser_word16_be 48640
static_return ()
static_structure = StaticStructure {properties = [Hole {byte_offset = 0, hole_type = Word8Hole},Hole {byte_offset = 1, hole_type = Word32Hole},Value (Word32Value 1202589112),Value (Word32Value 1810371418),Value (Word16Value 2647),Hole {byte_offset = 15, hole_type = Word16Hole},Hole {byte_offset = 17, hole_type = Word32Hole},Value (Word16Value 1601),Hole {byte_offset = 23, hole_type = Word16Hole},Value (Word16Value 58644),Hole {byte_offset = 27, hole_type = Word32Hole},Hole {byte_offset = 31, hole_type = Word8Hole},Value (Word32Value 4243473788),Hole {byte_offset = 36, hole_type = Word8Hole},Hole {byte_offset = 37, hole_type = Word32Hole},Value (Word32Value 1149154291),Value (Word8Value 70),Hole {byte_offset = 46, hole_type = Word32Hole},Hole {byte_offset = 50, hole_type = Word16Hole},Value (Word8Value 16),Hole {byte_offset = 53, hole_type = Word16Hole},Value (Word8Value 116),Hole {byte_offset = 56, hole_type = Word8Hole},Value (Word32Value 2210403126),Hole {byte_offset = 61, hole_type = Word8Hole},Value (Word32Value 1610444058),Hole {byte_offset = 66, hole_type = Word8Hole},Hole {byte_offset = 67, hole_type = Word32Hole},Value (Word16Value 49651),Value (Word32Value 951016925),Hole {byte_offset = 77, hole_type = Word16Hole},Hole {byte_offset = 79, hole_type = Word16Hole},Hole {byte_offset = 81, hole_type = Word16Hole},Hole {byte_offset = 83, hole_type = Word16Hole},Value (Word32Value 2098628348),Value (Word8Value 28),Value (Word16Value 33851),Hole {byte_offset = 92, hole_type = Word16Hole},Value (Word32Value 2767108726),Value (Word8Value 243),Value (Word16Value 61027),Hole {byte_offset = 101, hole_type = Word8Hole},Value (Word32Value 3046019994),Value (Word32Value 4196051485),Hole {byte_offset = 110, hole_type = Word32Hole},Hole {byte_offset = 114, hole_type = Word8Hole},Hole {byte_offset = 115, hole_type = Word8Hole},Value (Word16Value 16093),Value (Word16Value 31748),Value (Word8Value 233),Hole {byte_offset = 121, hole_type = Word16Hole},Value (Word32Value 3476894092),Hole {byte_offset = 127, hole_type = Word32Hole},Value (Word16Value 34218),Hole {byte_offset = 133, hole_type = Word32Hole},Hole {byte_offset = 137, hole_type = Word8Hole},Hole {byte_offset = 138, hole_type = Word16Hole},Value (Word8Value 158),Hole {byte_offset = 141, hole_type = Word32Hole},Hole {byte_offset = 145, hole_type = Word8Hole},Value (Word16Value 21976),Hole {byte_offset = 148, hole_type = Word16Hole},Hole {byte_offset = 150, hole_type = Word32Hole},Value (Word16Value 48640)]}