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