{"decls":[],"imports":["std.bytes"],"kind":"entry","module_id":"main","schema_version":"x07.x07ast@0.8.0","solve":["std.bytes.reverse","input"]}