{"decls":[{"body":["begin",["let","n",["view.len","b"]],["if",["<u","n",2],1,["begin",["let","ok",1],["let","half",["/","n",2]],["for","i",0,"half",["begin",["let","left",["view.get_u8","b","i"]],["let","right",["view.get_u8","b",["-",["-","n","i"],1]]],["if",["=","ok",1],["if",["!=","left","right"],["set","ok",0],0],0],0]],"ok"]]],"kind":"defn","name":"main.is_palindrome","params":[{"name":"b","ty":"bytes_view"}],"result":"i32"}],"imports":[],"kind":"entry","module_id":"main","schema_version":"x07.x07ast@0.8.0","solve":["if",["main.is_palindrome","input"],["bytes.alloc",1],["bytes.alloc",0]]}