(
(let config (DataSource 'config))

(let res_sink (DataSink 'result))
(let data (ShiftLeft (Int32 '"1") (Int64 '"10")))
(let world (Write! world res_sink (Key) data '('('type))))
(let data (ShiftLeft (Int64 '"1") (Int64 '"10")))
(let world (Write! world res_sink (Key) data '('('type))))
(let data (ShiftLeft (Int32 '"1") (Int64 '"40")))
(let world (Write! world res_sink (Key) data '('('type))))
(let data (ShiftLeft (Int64 '"1") (Int64 '"40")))
(let world (Write! world res_sink (Key) data '('('type))))
(let world (Commit! world res_sink))
(let data (ShiftLeft (Just (Int32 '"1")) (Int64 '"10")))
(let world (Write! world res_sink (Key) data '('('type))))
(let data (ShiftLeft (Just (Int64 '"1")) (Int64 '"10")))
(let world (Write! world res_sink (Key) data '('('type))))
(let data (ShiftLeft (Just (Int32 '"1")) (Int64 '"40")))
(let world (Write! world res_sink (Key) data '('('type))))
(let data (ShiftLeft (Just (Int64 '"1")) (Int64 '"40")))
(let world (Write! world res_sink (Key) data '('('type))))
(let world (Commit! world res_sink))
(return world)
)