( (let config (DataSource 'config)) (let res_sink (DataSink 'result)) (let data (Uint64 '1)) (let data (If (Bool 'true) data (Double '2))) (let world (Write! world res_sink (Key) data '('('type)))) (let world (Commit! world res_sink)) (return world) )