Closed pirapira closed 7 years ago
(take (0x40) bytes at (0x0) from (mem_write32 addr: (0x20) val: (0x0) in (mem_write32 addr: (0x0) val: (get32 (0x4) (input data)) in (empty)))
can be reduced into
(concat (get32 (0x4) (input data)) (0x0))
can be reduced into