{"decls":[],"imports":[],"kind":"entry","module_id":"main","schema_version":"x07.x07ast@0.8.0","solve":["begin",["let","n",["view.len","input"]],["let","cnt",0],["let","in_word",0],["for","i",0,"n",["begin",["let","c",["view.get_u8","input","i"]],["let","is_space",["if",["=","c",32],1,["if",["=","c",10],1,["if",["=","c",13],1,["if",["=","c",9],1,0]]]]],["if","is_space",["set","in_word",0],["if",["=","in_word",0],["begin",["set","cnt",["+","cnt",1]],["set","in_word",1]],0]],0]],["codec.write_u32_le","cnt"]]}