{"decls":[],"imports":[],"kind":"entry","module_id":"main","schema_version":"x07.x07ast@0.8.0","solve":["begin",["let","n",["view.len","input"]],["if",["=","n",0],["bytes.alloc",0],["begin",["let","mx",["view.get_u8","input",0]],["for","i",1,"n",["begin",["let","cur",["view.get_u8","input","i"]],["if",[">u","cur","mx"],["set","mx","cur"],0],0]],["bytes1","mx"]]]]}