{"decls":[],"imports":[],"kind":"entry","module_id":"main","schema_version":"x07.x07ast@0.8.0","solve":["begin",["let","n",["view.len","input"]],["let","acc",0],["for","i",0,"n",["begin",["set","acc",["+","acc",["view.get_u8","input","i"]]],0]],["codec.write_u32_le","acc"]]}