// https://syzkaller.appspot.com/bug?id=ee3412290692b3354be3b0194d29fc55a6b4c242 // autogenerated by syzkaller (https://github.com/google/syzkaller) #define _GNU_SOURCE #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #ifndef __NR_memfd_create #define __NR_memfd_create 319 #endif static unsigned long long procid; //% This code is derived from puff.{c,h}, found in the zlib development. The //% original files come with the following copyright notice: //% Copyright (C) 2002-2013 Mark Adler, all rights reserved //% version 2.3, 21 Jan 2013 //% This software is provided 'as-is', without any express or implied //% warranty. In no event will the author be held liable for any damages //% arising from the use of this software. //% Permission is granted to anyone to use this software for any purpose, //% including commercial applications, and to alter it and redistribute it //% freely, subject to the following restrictions: //% 1. The origin of this software must not be misrepresented; you must not //% claim that you wrote the original software. If you use this software //% in a product, an acknowledgment in the product documentation would be //% appreciated but is not required. //% 2. Altered source versions must be plainly marked as such, and must not be //% misrepresented as being the original software. //% 3. This notice may not be removed or altered from any source distribution. //% Mark Adler madler@alumni.caltech.edu //% BEGIN CODE DERIVED FROM puff.{c,h} #define MAXBITS 15 #define MAXLCODES 286 #define MAXDCODES 30 #define MAXCODES (MAXLCODES + MAXDCODES) #define FIXLCODES 288 struct puff_state { unsigned char* out; unsigned long outlen; unsigned long outcnt; const unsigned char* in; unsigned long inlen; unsigned long incnt; int bitbuf; int bitcnt; jmp_buf env; }; static int puff_bits(struct puff_state* s, int need) { long val = s->bitbuf; while (s->bitcnt < need) { if (s->incnt == s->inlen) longjmp(s->env, 1); val |= (long)(s->in[s->incnt++]) << s->bitcnt; s->bitcnt += 8; } s->bitbuf = (int)(val >> need); s->bitcnt -= need; return (int)(val & ((1L << need) - 1)); } static int puff_stored(struct puff_state* s) { s->bitbuf = 0; s->bitcnt = 0; if (s->incnt + 4 > s->inlen) return 2; unsigned len = s->in[s->incnt++]; len |= s->in[s->incnt++] << 8; if (s->in[s->incnt++] != (~len & 0xff) || s->in[s->incnt++] != ((~len >> 8) & 0xff)) return -2; if (s->incnt + len > s->inlen) return 2; if (s->outcnt + len > s->outlen) return 1; for (; len--; s->outcnt++, s->incnt++) { if (s->in[s->incnt]) s->out[s->outcnt] = s->in[s->incnt]; } return 0; } struct puff_huffman { short* count; short* symbol; }; static int puff_decode(struct puff_state* s, const struct puff_huffman* h) { int first = 0; int index = 0; int bitbuf = s->bitbuf; int left = s->bitcnt; int code = first = index = 0; int len = 1; short* next = h->count + 1; while (1) { while (left--) { code |= bitbuf & 1; bitbuf >>= 1; int count = *next++; if (code - count < first) { s->bitbuf = bitbuf; s->bitcnt = (s->bitcnt - len) & 7; return h->symbol[index + (code - first)]; } index += count; first += count; first <<= 1; code <<= 1; len++; } left = (MAXBITS + 1) - len; if (left == 0) break; if (s->incnt == s->inlen) longjmp(s->env, 1); bitbuf = s->in[s->incnt++]; if (left > 8) left = 8; } return -10; } static int puff_construct(struct puff_huffman* h, const short* length, int n) { int len; for (len = 0; len <= MAXBITS; len++) h->count[len] = 0; int symbol; for (symbol = 0; symbol < n; symbol++) (h->count[length[symbol]])++; if (h->count[0] == n) return 0; int left = 1; for (len = 1; len <= MAXBITS; len++) { left <<= 1; left -= h->count[len]; if (left < 0) return left; } short offs[MAXBITS + 1]; offs[1] = 0; for (len = 1; len < MAXBITS; len++) offs[len + 1] = offs[len] + h->count[len]; for (symbol = 0; symbol < n; symbol++) if (length[symbol] != 0) h->symbol[offs[length[symbol]]++] = symbol; return left; } static int puff_codes(struct puff_state* s, const struct puff_huffman* lencode, const struct puff_huffman* distcode) { static const short lens[29] = {3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 15, 17, 19, 23, 27, 31, 35, 43, 51, 59, 67, 83, 99, 115, 131, 163, 195, 227, 258}; static const short lext[29] = {0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 2, 2, 2, 3, 3, 3, 3, 4, 4, 4, 4, 5, 5, 5, 5, 0}; static const short dists[30] = { 1, 2, 3, 4, 5, 7, 9, 13, 17, 25, 33, 49, 65, 97, 129, 193, 257, 385, 513, 769, 1025, 1537, 2049, 3073, 4097, 6145, 8193, 12289, 16385, 24577}; static const short dext[30] = {0, 0, 0, 0, 1, 1, 2, 2, 3, 3, 4, 4, 5, 5, 6, 6, 7, 7, 8, 8, 9, 9, 10, 10, 11, 11, 12, 12, 13, 13}; int symbol; do { symbol = puff_decode(s, lencode); if (symbol < 0) return symbol; if (symbol < 256) { if (s->outcnt == s->outlen) return 1; if (symbol) s->out[s->outcnt] = symbol; s->outcnt++; } else if (symbol > 256) { symbol -= 257; if (symbol >= 29) return -10; int len = lens[symbol] + puff_bits(s, lext[symbol]); symbol = puff_decode(s, distcode); if (symbol < 0) return symbol; unsigned dist = dists[symbol] + puff_bits(s, dext[symbol]); if (dist > s->outcnt) return -11; if (s->outcnt + len > s->outlen) return 1; while (len--) { if (dist <= s->outcnt && s->out[s->outcnt - dist]) s->out[s->outcnt] = s->out[s->outcnt - dist]; s->outcnt++; } } } while (symbol != 256); return 0; } static int puff_fixed(struct puff_state* s) { static int virgin = 1; static short lencnt[MAXBITS + 1], lensym[FIXLCODES]; static short distcnt[MAXBITS + 1], distsym[MAXDCODES]; static struct puff_huffman lencode, distcode; if (virgin) { lencode.count = lencnt; lencode.symbol = lensym; distcode.count = distcnt; distcode.symbol = distsym; short lengths[FIXLCODES]; int symbol; for (symbol = 0; symbol < 144; symbol++) lengths[symbol] = 8; for (; symbol < 256; symbol++) lengths[symbol] = 9; for (; symbol < 280; symbol++) lengths[symbol] = 7; for (; symbol < FIXLCODES; symbol++) lengths[symbol] = 8; puff_construct(&lencode, lengths, FIXLCODES); for (symbol = 0; symbol < MAXDCODES; symbol++) lengths[symbol] = 5; puff_construct(&distcode, lengths, MAXDCODES); virgin = 0; } return puff_codes(s, &lencode, &distcode); } static int puff_dynamic(struct puff_state* s) { static const short order[19] = {16, 17, 18, 0, 8, 7, 9, 6, 10, 5, 11, 4, 12, 3, 13, 2, 14, 1, 15}; int nlen = puff_bits(s, 5) + 257; int ndist = puff_bits(s, 5) + 1; int ncode = puff_bits(s, 4) + 4; if (nlen > MAXLCODES || ndist > MAXDCODES) return -3; short lengths[MAXCODES]; int index; for (index = 0; index < ncode; index++) lengths[order[index]] = puff_bits(s, 3); for (; index < 19; index++) lengths[order[index]] = 0; short lencnt[MAXBITS + 1], lensym[MAXLCODES]; struct puff_huffman lencode = {lencnt, lensym}; int err = puff_construct(&lencode, lengths, 19); if (err != 0) return -4; index = 0; while (index < nlen + ndist) { int symbol; int len; symbol = puff_decode(s, &lencode); if (symbol < 0) return symbol; if (symbol < 16) lengths[index++] = symbol; else { len = 0; if (symbol == 16) { if (index == 0) return -5; len = lengths[index - 1]; symbol = 3 + puff_bits(s, 2); } else if (symbol == 17) symbol = 3 + puff_bits(s, 3); else symbol = 11 + puff_bits(s, 7); if (index + symbol > nlen + ndist) return -6; while (symbol--) lengths[index++] = len; } } if (lengths[256] == 0) return -9; err = puff_construct(&lencode, lengths, nlen); if (err && (err < 0 || nlen != lencode.count[0] + lencode.count[1])) return -7; short distcnt[MAXBITS + 1], distsym[MAXDCODES]; struct puff_huffman distcode = {distcnt, distsym}; err = puff_construct(&distcode, lengths + nlen, ndist); if (err && (err < 0 || ndist != distcode.count[0] + distcode.count[1])) return -8; return puff_codes(s, &lencode, &distcode); } static int puff(unsigned char* dest, unsigned long* destlen, const unsigned char* source, unsigned long sourcelen) { struct puff_state s = { .out = dest, .outlen = *destlen, .outcnt = 0, .in = source, .inlen = sourcelen, .incnt = 0, .bitbuf = 0, .bitcnt = 0, }; int err; if (setjmp(s.env) != 0) err = 2; else { int last; do { last = puff_bits(&s, 1); int type = puff_bits(&s, 2); err = type == 0 ? puff_stored(&s) : (type == 1 ? puff_fixed(&s) : (type == 2 ? puff_dynamic(&s) : -1)); if (err != 0) break; } while (!last); } *destlen = s.outcnt; return err; } //% END CODE DERIVED FROM puff.{c,h} #define ZLIB_HEADER_WIDTH 2 static int puff_zlib_to_file(const unsigned char* source, unsigned long sourcelen, int dest_fd) { if (sourcelen < ZLIB_HEADER_WIDTH) return 0; source += ZLIB_HEADER_WIDTH; sourcelen -= ZLIB_HEADER_WIDTH; const unsigned long max_destlen = 132 << 20; void* ret = mmap(0, max_destlen, PROT_WRITE | PROT_READ, MAP_PRIVATE | MAP_ANON, -1, 0); if (ret == MAP_FAILED) return -1; unsigned char* dest = (unsigned char*)ret; unsigned long destlen = max_destlen; int err = puff(dest, &destlen, source, sourcelen); if (err) { munmap(dest, max_destlen); errno = -err; return -1; } if (write(dest_fd, dest, destlen) != (ssize_t)destlen) { munmap(dest, max_destlen); return -1; } return munmap(dest, max_destlen); } static int setup_loop_device(unsigned char* data, unsigned long size, const char* loopname, int* loopfd_p) { int err = 0, loopfd = -1; int memfd = syscall(__NR_memfd_create, "syzkaller", 0); if (memfd == -1) { err = errno; goto error; } if (puff_zlib_to_file(data, size, memfd)) { err = errno; goto error_close_memfd; } loopfd = open(loopname, O_RDWR); if (loopfd == -1) { err = errno; goto error_close_memfd; } if (ioctl(loopfd, LOOP_SET_FD, memfd)) { if (errno != EBUSY) { err = errno; goto error_close_loop; } ioctl(loopfd, LOOP_CLR_FD, 0); usleep(1000); if (ioctl(loopfd, LOOP_SET_FD, memfd)) { err = errno; goto error_close_loop; } } close(memfd); *loopfd_p = loopfd; return 0; error_close_loop: close(loopfd); error_close_memfd: close(memfd); error: errno = err; return -1; } static void reset_loop_device(const char* loopname) { int loopfd = open(loopname, O_RDWR); if (loopfd == -1) { return; } if (ioctl(loopfd, LOOP_CLR_FD, 0)) { } close(loopfd); } static long syz_mount_image(volatile long fsarg, volatile long dir, volatile long flags, volatile long optsarg, volatile long change_dir, volatile unsigned long size, volatile long image) { unsigned char* data = (unsigned char*)image; int res = -1, err = 0, need_loop_device = !!size; char* mount_opts = (char*)optsarg; char* target = (char*)dir; char* fs = (char*)fsarg; char* source = NULL; char loopname[64]; if (need_loop_device) { int loopfd; memset(loopname, 0, sizeof(loopname)); snprintf(loopname, sizeof(loopname), "/dev/loop%llu", procid); if (setup_loop_device(data, size, loopname, &loopfd) == -1) return -1; close(loopfd); source = loopname; } mkdir(target, 0777); char opts[256]; memset(opts, 0, sizeof(opts)); if (strlen(mount_opts) > (sizeof(opts) - 32)) { } strncpy(opts, mount_opts, sizeof(opts) - 32); if (strcmp(fs, "iso9660") == 0) { flags |= MS_RDONLY; } else if (strncmp(fs, "ext", 3) == 0) { bool has_remount_ro = false; char* remount_ro_start = strstr(opts, "errors=remount-ro"); if (remount_ro_start != NULL) { char after = *(remount_ro_start + strlen("errors=remount-ro")); char before = remount_ro_start == opts ? '\0' : *(remount_ro_start - 1); has_remount_ro = ((before == '\0' || before == ',') && (after == '\0' || after == ',')); } if (strstr(opts, "errors=panic") || !has_remount_ro) strcat(opts, ",errors=continue"); } else if (strcmp(fs, "xfs") == 0) { strcat(opts, ",nouuid"); } else if (strncmp(fs, "gfs2", 4) == 0 && (strstr(opts, "errors=panic") || strstr(opts, "debug"))) { strcat(opts, ",errors=withdraw"); } res = mount(source, target, fs, flags, opts); if (res == -1) { err = errno; goto error_clear_loop; } res = open(target, O_RDONLY | O_DIRECTORY); if (res == -1) { err = errno; goto error_clear_loop; } if (change_dir) { res = chdir(target); if (res == -1) { err = errno; } } error_clear_loop: if (need_loop_device) reset_loop_device(loopname); errno = err; return res; } int main(void) { syscall(__NR_mmap, /*addr=*/0x1ffffffff000ul, /*len=*/0x1000ul, /*prot=*/0ul, /*flags=MAP_FIXED|MAP_ANONYMOUS|MAP_PRIVATE*/ 0x32ul, /*fd=*/(intptr_t)-1, /*offset=*/0ul); syscall(__NR_mmap, /*addr=*/0x200000000000ul, /*len=*/0x1000000ul, /*prot=PROT_WRITE|PROT_READ|PROT_EXEC*/ 7ul, /*flags=MAP_FIXED|MAP_ANONYMOUS|MAP_PRIVATE*/ 0x32ul, /*fd=*/(intptr_t)-1, /*offset=*/0ul); syscall(__NR_mmap, /*addr=*/0x200001000000ul, /*len=*/0x1000ul, /*prot=*/0ul, /*flags=MAP_FIXED|MAP_ANONYMOUS|MAP_PRIVATE*/ 0x32ul, /*fd=*/(intptr_t)-1, /*offset=*/0ul); const char* reason; (void)reason; if (write(1, "executing program\n", sizeof("executing program\n") - 1)) { } // syz_mount_image$hfs arguments: [ // fs: ptr[in, buffer] { // buffer: {68 66 73 00} (length 0x4) // } // dir: ptr[in, buffer] { // buffer: {2e 2f 62 75 73 00} (length 0x6) // } // flags: mount_flags = 0x8 (8 bytes) // opts: ptr[in, fs_options[hfs_options]] { // fs_options[hfs_options] { // elems: array[fs_opt_elem[hfs_options]] { // fs_opt_elem[hfs_options] { // elem: union hfs_options { // creator: fs_opt["creator", array[int8, 4]] { // name: buffer: {63 72 65 61 74 6f 72} (length 0x7) // eq: const = 0x3d (1 bytes) // val: buffer: {f1 2d b8 7f} (length 0x4) // } // } // comma: const = 0x2c (1 bytes) // } // fs_opt_elem[hfs_options] { // elem: union hfs_options { // type: fs_opt["type", array[int8, 4]] { // name: buffer: {74 79 70 65} (length 0x4) // eq: const = 0x3d (1 bytes) // val: buffer: {de b4 a1 98} (length 0x4) // } // } // comma: const = 0x2c (1 bytes) // } // fs_opt_elem[hfs_options] { // elem: union hfs_options { // quiet: buffer: {71 75 69 65 74} (length 0x5) // } // comma: const = 0x2c (1 bytes) // } // fs_opt_elem[hfs_options] { // elem: union hfs_options { // quiet: buffer: {71 75 69 65 74} (length 0x5) // } // comma: const = 0x2c (1 bytes) // } // fs_opt_elem[hfs_options] { // elem: union hfs_options { // gid: fs_opt["gid", fmt[hex, gid]] { // name: buffer: {67 69 64} (length 0x3) // eq: const = 0x3d (1 bytes) // val: gid (resource) // } // } // comma: const = 0x2c (1 bytes) // } // } // common: array[fs_opt_elem[fs_options_common]] { // } // null: const = 0x0 (1 bytes) // } // } // chdir: int8 = 0x0 (1 bytes) // size: len = 0x2b6 (8 bytes) // img: ptr[in, buffer] { // buffer: (compressed buffer with length 0x2ba) // } // ] // returns fd_dir memcpy((void*)0x200000000180, "hfs\000", 4); memcpy((void*)0x2000000000c0, "./bus\000", 6); memcpy((void*)0x200000000040, "creator", 7); *(uint8_t*)0x200000000047 = 0x3d; memcpy((void*)0x200000000048, "\xf1\x2d\xb8\x7f", 4); *(uint8_t*)0x20000000004c = 0x2c; memcpy((void*)0x20000000004d, "type", 4); *(uint8_t*)0x200000000051 = 0x3d; memcpy((void*)0x200000000052, "\xde\xb4\xa1\x98", 4); *(uint8_t*)0x200000000056 = 0x2c; memcpy((void*)0x200000000057, "quiet", 5); *(uint8_t*)0x20000000005c = 0x2c; memcpy((void*)0x20000000005d, "quiet", 5); *(uint8_t*)0x200000000062 = 0x2c; memcpy((void*)0x200000000063, "gid", 3); *(uint8_t*)0x200000000066 = 0x3d; sprintf((char*)0x200000000067, "0x%016llx", (long long)0); *(uint8_t*)0x200000000079 = 0x2c; *(uint8_t*)0x20000000007a = 0; memcpy( (void*)0x200000000580, "\x78\x9c\xec\xdd\x3d\x6f\xd3\x5e\x14\xc7\xf1\xdf\x75\xd2\x7f\xd3\x07\xf5" "\xef\x3e\xa0\x4a\x8c\x85\x4a\x4c\x88\x96\x05\xb1\x80\x50\x5f\x04\x03\x42" "\x94\x26\x48\x55\xa3\x22\x41\x91\x80\x09\x31\x23\xc4\x86\xc4\xce\xc6\x8c" "\x78\x03\x2c\x4c\x88\x37\x00\x13\x13\x23\x43\x25\x06\xa3\x7b\x6c\xa7\x49" "\x6a\x3b\x6e\x49\xeb\x04\xbe\x1f\xa9\x91\x1b\xdf\x73\x7d\x6e\xec\xd8\xf7" "\x44\x4a\x2c\x00\xff\xac\x1b\x1b\x5f\xdf\x5e\xfe\xee\xff\x9c\x54\x53\x4d" "\xd2\x55\x29\x90\xd4\x90\xea\x92\xce\x68\xb9\xf1\x68\x77\x6f\x7b\xaf\xdd" "\x6a\x5a\xc4\xf4\x44\x66\x47\x35\x8b\xf0\x7f\x4e\x71\xa4\xfb\xd9\xdf\x66" "\x6b\xb7\x95\x15\xea\xfa\xfe\x0f\x7d\x7c\x5d\xb3\xd6\x0b\x4e\x54\x14\x45" "\xd1\xb7\xaa\x93\x40\xe5\xec\xdd\x9f\x21\x90\x26\x93\xf7\xb3\xad\x6f\xf4" "\xac\xfd\xef\x94\xb2\x1b\xbe\x67\x55\x27\x50\x31\xb7\xaf\x7d\x3d\xd6\x5c" "\xd5\x79\x00\x00\xaa\x95\x5c\xff\x83\xe4\x3a\x3f\x9b\x4c\xcb\x83\x40\x5a" "\x4d\x2e\xfb\x19\xd7\xff\xf1\xb5\x5f\x75\x02\x15\xeb\xba\xfe\x5b\x95\x15" "\x39\xbf\x7f\xa7\x6c\xd5\x41\xbd\x67\x95\x99\x5f\x1f\xa4\x55\x62\x41\x8f" "\xb9\x6b\x6c\x96\x18\xf4\x4d\x30\x5d\x6f\x55\x79\xd8\xff\x16\x35\x75\x6f" "\xbb\xdd\xba\xb8\x75\xbf\xdd\x0c\xf4\x5c\xd7\x12\x5d\xcd\x96\xec\xb1\x19" "\x1f\xba\xa9\x01\xd9\xae\x14\x24\x9b\x61\xf0\xd8\xf3\xcc\xd8\x18\x26\xfc" "\x18\xd6\x73\xf2\x5f\x3c\xce\x16\x5f\x1f\x3d\x95\x0e\xf7\xc9\x7d\x76\xb7" "\x5d\xa8\x37\x6a\x76\xe6\x7f\xf5\xc8\xf9\xdd\x64\x7b\x2a\xb4\x3d\x15\x76" "\x02\xe2\xfc\x2f\xe5\xf7\x18\x47\xc5\xad\x72\x46\x39\x6f\x1b\x39\x9b\x56" "\x0c\x1f\xde\x95\x18\x65\x23\xbb\x22\xe9\x6c\x71\x5e\xbd\x1f\x10\x84\x69" "\x9e\xaf\x72\xca\x12\x7b\x7a\xa1\x2f\x2a\x1e\xdd\xda\x80\xd1\x2d\x66\x46" "\xad\x0f\x88\x5a\xea\x8f\x3a\x38\x9a\xf3\x23\x8f\xaf\x5c\x35\xe6\x5e\xba" "\x9b\x6e\x45\x3f\xf4\x5e\x1b\x5d\xf3\xff\xc0\xbf\xda\xab\x2a\xf3\xce\xf4" "\x6d\xac\x65\x72\x64\x14\x8e\xa7\x6e\x2d\xc3\x12\x89\x05\xa5\xd2\x47\x59" "\xd9\x9f\xd3\xa5\x5e\xe8\xae\xae\x68\xee\xe1\x93\xa7\x3b\x9b\xed\x76\xeb" "\xc1\xc8\x2e\xa4\x33\x0e\xff\x4c\x6d\x04\xf2\x29\x58\xf0\x69\x9e\x48\xcf" "\x75\x9d\xc6\x28\xd2\x03\x66\x34\x5e\xcc\x11\x58\x48\x4f\xde\xc3\xef\x59" "\x7f\xdc\x4f\x4d\x93\xb2\x85\x5f\x51\x6c\x68\x19\xfa\x73\xf5\xce\x66\xbb" "\xe8\xe4\x31\x35\x84\xd3\x13\x46\xc1\xc1\xde\xd7\xf2\xad\xaa\x93\x41\x15" "\xfc\xbc\xcb\xc5\xf5\x5f\x57\xbd\x72\xdd\xd6\xf9\x3a\x29\xb4\x79\xfa\x84" "\xb2\xe6\xe9\xd1\xa0\xce\xbb\x7a\x5c\xcb\xa9\x0d\x16\xec\x71\xfa\x48\x15" "\xdc\x4c\x7e\x05\x57\xb6\xe6\x3a\x77\x41\x3a\x5f\xb0\xc5\x8f\xbd\xdd\x86" "\x49\x9e\x7f\x09\xb7\xa1\x2f\xba\xc3\xe7\xff\x00\x00\x00\x00\x00\x00\x00" "\x00\x00\x00\x00\x00\x00\x00\x00\xe3\xa6\xdc\x17\x03\x26\x93\xd6\xc7\xfb" "\x5e\x41\xc5\x43\x04\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00" "\x00\x00\x00\x60\xec\x1d\xfd\xfe\xbf\x87\x74\x7e\x43\xba\xff\xfe\xbf\xf1" "\xb3\x5d\xbf\xea\x9d\x73\xff\x5f\xbb\xc3\x47\x7c\xaf\x05\xfb\x95\x6e\xee" "\xff\x0b\x9c\x8e\xdf\x01\x00\x00\xff\xff\x44\x73\x76\x36", 698); syz_mount_image(/*fs=*/0x200000000180, /*dir=*/0x2000000000c0, /*flags=MS_NOEXEC*/ 8, /*opts=*/0x200000000040, /*chdir=*/0, /*size=*/0x2b6, /*img=*/0x200000000580); return 0; }