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