/* compiled from: . */
/* /usr/include/libio.h:413:NC */ extern int __underflow (_IO_FILE *);
/* /usr/include/libio.h:414:NC */ extern int __uflow (_IO_FILE *);
/* /usr/include/libio.h:415:NC */ extern int __overflow (_IO_FILE *, int);
/* /usr/include/libio.h:416:NC */ extern wint_t __wunderflow (_IO_FILE *);
/* /usr/include/libio.h:417:NC */ extern wint_t __wuflow (_IO_FILE *);
/* /usr/include/libio.h:418:NC */ extern wint_t __woverflow (_IO_FILE *, wint_t);
/* /usr/include/libio.h:451:NC */ extern int _IO_getc (_IO_FILE *);
/* /usr/include/libio.h:452:NC */ extern int _IO_putc (int, _IO_FILE *);
/* /usr/include/libio.h:453:NC */ extern int _IO_feof (_IO_FILE *);
/* /usr/include/libio.h:454:NC */ extern int _IO_ferror (_IO_FILE *);
/* /usr/include/libio.h:456:NC */ extern int _IO_peekc_locked (_IO_FILE *);
/* /usr/include/libio.h:462:NC */ extern void _IO_flockfile (_IO_FILE *);
/* /usr/include/libio.h:463:NC */ extern void _IO_funlockfile (_IO_FILE *);
/* /usr/include/libio.h:464:NC */ extern int _IO_ftrylockfile (_IO_FILE *);
/* /usr/include/libio.h:482:NC */ extern int _IO_vfscanf (_IO_FILE *, const char *, __gnuc_va_list, int *);
/* /usr/include/libio.h:484:NC */ extern int _IO_vfprintf (_IO_FILE *, const char *, __gnuc_va_list);
/* /usr/include/libio.h:485:NC */ extern __ssize_t _IO_padn (_IO_FILE *, int, __ssize_t);
/* /usr/include/libio.h:486:NC */ extern size_t _IO_sgetn (_IO_FILE *, void *, size_t);
/* /usr/include/libio.h:488:NC */ extern __off64_t _IO_seekoff (_IO_FILE *, __off64_t, int, int);
/* /usr/include/libio.h:489:NC */ extern __off64_t _IO_seekpos (_IO_FILE *, __off64_t, int);
/* /usr/include/libio.h:491:NC */ extern void _IO_free_backup_area (_IO_FILE *);
/* /usr/include/stdio.h:157:NC */ extern int remove (const char *);
/* /usr/include/stdio.h:159:NC */ extern int rename (const char *, const char *);
/* /usr/include/stdio.h:174:NC */ extern FILE *tmpfile (void);
/* /usr/include/stdio.h:188:NC */ extern char *tmpnam (char *);
/* /usr/include/stdio.h:194:NC */ extern char *tmpnam_r (char *);
/* /usr/include/stdio.h:207:NC */ extern char *tempnam (const char *, const char *);
/* /usr/include/stdio.h:216:NC */ extern int fclose (FILE *);
/* /usr/include/stdio.h:221:NC */ extern int fflush (FILE *);
/* /usr/include/stdio.h:231:NC */ extern int fflush_unlocked (FILE *);
/* /usr/include/stdio.h:252:NC */ extern FILE *fopen (const char *, const char *);
/* /usr/include/stdio.h:259:NC */ extern FILE *freopen (const char *, const char *, FILE *);
/* /usr/include/stdio.h:285:NC */ extern FILE *fdopen (int, const char *);
/* /usr/include/stdio.h:309:NC */ extern void setbuf (FILE *, char *);
/* /usr/include/stdio.h:314:NC */ extern int setvbuf (FILE *, char *, int, size_t);
/* /usr/include/stdio.h:321:NC */ extern void setbuffer (FILE *, char *, size_t);
/* /usr/include/stdio.h:324:NC */ extern void setlinebuf (FILE *);
/* /usr/include/stdio.h:334:NC */ extern int fprintf (FILE *, const char *, ...);
/* /usr/include/stdio.h:339:NC */ extern int printf (const char *, ...);
/* /usr/include/stdio.h:342:NC */ extern int sprintf (char *, const char *, ...);
/* /usr/include/stdio.h:349:NC */ extern int vfprintf (FILE *, const char *, __gnuc_va_list);
/* /usr/include/stdio.h:354:NC */ extern int vprintf (const char *, __gnuc_va_list);
/* /usr/include/stdio.h:357:NC */ extern int vsprintf (char *, const char *, __gnuc_va_list);
/* /usr/include/stdio.h:365:NC */ extern int snprintf (char *, size_t, const char *, ...);
/* /usr/include/stdio.h:369:NC */ extern int vsnprintf (char *, size_t, const char *, __gnuc_va_list);
/* /usr/include/stdio.h:406:NC */ extern int fscanf (FILE *, const char *, ...);
/* /usr/include/stdio.h:411:NC */ extern int scanf (const char *, ...);
/* /usr/include/stdio.h:414:NC */ extern int sscanf (const char *, const char *, ...);
/* /usr/include/stdio.h:447:NC */ extern int fgetc (FILE *);
/* /usr/include/stdio.h:448:NC */ extern int getc (FILE *);
/* /usr/include/stdio.h:454:NC */ extern int getchar (void);
/* /usr/include/stdio.h:466:NC */ extern int getc_unlocked (FILE *);
/* /usr/include/stdio.h:467:NC */ extern int getchar_unlocked (void);
/* /usr/include/stdio.h:477:NC */ extern int fgetc_unlocked (FILE *);
/* /usr/include/stdio.h:489:NC */ extern int fputc (int, FILE *);
/* /usr/include/stdio.h:490:NC */ extern int putc (int, FILE *);
/* /usr/include/stdio.h:496:NC */ extern int putchar (int);
/* /usr/include/stdio.h:510:NC */ extern int fputc_unlocked (int, FILE *);
/* /usr/include/stdio.h:518:NC */ extern int putc_unlocked (int, FILE *);
/* /usr/include/stdio.h:519:NC */ extern int putchar_unlocked (int);
/* /usr/include/stdio.h:526:NC */ extern int getw (FILE *);
/* /usr/include/stdio.h:529:NC */ extern int putw (int, FILE *);
/* /usr/include/stdio.h:539:NC */ extern char *fgets (char *, int, FILE *);
/* /usr/include/stdio.h:546:NC */ extern char *gets (char *);
/* /usr/include/stdio.h:596:NC */ extern int fputs (const char *, FILE *);
/* /usr/include/stdio.h:602:NC */ extern int puts (const char *);
/* /usr/include/stdio.h:609:NC */ extern int ungetc (int, FILE *);
/* /usr/include/stdio.h:617:NC */ extern size_t fread (void *, size_t, size_t, FILE *);
/* /usr/include/stdio.h:623:NC */ extern size_t fwrite (const void *, size_t, size_t, FILE *);
/* /usr/include/stdio.h:645:NC */ extern size_t fread_unlocked (void *, size_t, size_t, FILE *);
/* /usr/include/stdio.h:647:NC */ extern size_t fwrite_unlocked (const void *, size_t, size_t, FILE *);
/* /usr/include/stdio.h:656:NC */ extern int fseek (FILE *, long int, int);
/* /usr/include/stdio.h:661:NC */ extern long int ftell (FILE *);
/* /usr/include/stdio.h:666:NC */ extern void rewind (FILE *);
/* /usr/include/stdio.h:680:NC */ extern int fseeko (FILE *, __off_t, int);
/* /usr/include/stdio.h:685:NC */ extern __off_t ftello (FILE *);
/* /usr/include/stdio.h:705:NC */ extern int fgetpos (FILE *, fpos_t *);
/* /usr/include/stdio.h:710:NC */ extern int fsetpos (FILE *, const fpos_t *);
/* /usr/include/stdio.h:733:NC */ extern void clearerr (FILE *);
/* /usr/include/stdio.h:735:NC */ extern int feof (FILE *);
/* /usr/include/stdio.h:737:NC */ extern int ferror (FILE *);
/* /usr/include/stdio.h:742:NC */ extern void clearerr_unlocked (FILE *);
/* /usr/include/stdio.h:743:NC */ extern int feof_unlocked (FILE *);
/* /usr/include/stdio.h:744:NC */ extern int ferror_unlocked (FILE *);
/* /usr/include/stdio.h:753:NC */ extern void perror (const char *);
/* /usr/include/stdio.h:765:NC */ extern int fileno (FILE *);
/* /usr/include/stdio.h:770:NC */ extern int fileno_unlocked (FILE *);
/* /usr/include/stdio.h:780:NC */ extern FILE *popen (const char *, const char *);
/* /usr/include/stdio.h:786:NC */ extern int pclose (FILE *);
/* /usr/include/stdio.h:792:NC */ extern char *ctermid (char *);
/* /usr/include/stdio.h:820:NC */ extern void flockfile (FILE *);
/* /usr/include/stdio.h:824:NC */ extern int ftrylockfile (FILE *);
/* /usr/include/stdio.h:827:NC */ extern void funlockfile (FILE *);
/* /usr/include/bits/stdio.h:35:NF */ extern int vprintf (const char *__fmt, __gnuc_va_list __arg); /* (__fmt, __arg) const char *__fmt; __gnuc_va_list __arg; */
/* /usr/include/bits/stdio.h:42:NF */ extern int getchar (void); /* () */
/* /usr/include/bits/stdio.h:51:NF */ extern int fgetc_unlocked (FILE *__fp); /* (__fp) FILE *__fp; */
/* /usr/include/bits/stdio.h:61:NF */ extern int getc_unlocked (FILE *__fp); /* (__fp) FILE *__fp; */
/* /usr/include/bits/stdio.h:68:NF */ extern int getchar_unlocked (void); /* () */
/* /usr/include/bits/stdio.h:77:NF */ extern int putchar (int __c); /* (__c) int __c; */
/* /usr/include/bits/stdio.h:86:NF */ extern int fputc_unlocked (int __c, FILE *__stream); /* (__c, __stream) int __c; FILE *__stream; */
/* /usr/include/bits/stdio.h:96:NF */ extern int putc_unlocked (int __c, FILE *__stream); /* (__c, __stream) int __c; FILE *__stream; */
/* /usr/include/bits/stdio.h:103:NF */ extern int putchar_unlocked (int __c); /* (__c) int __c; */
/* /usr/include/bits/stdio.h:123:NF */ extern int feof_unlocked (FILE *__stream); /* (__stream) FILE *__stream; */
/* /usr/include/bits/stdio.h:130:NF */ extern int ferror_unlocked (FILE *__stream); /* (__stream) FILE *__stream; */
/* /usr/include/stdlib.h:140:NC */ extern size_t __ctype_get_mb_cur_max (void);
/* /usr/include/stdlib.h:146:NC */ extern double atof (const char *);
/* /usr/include/stdlib.h:149:NC */ extern int atoi (const char *);
/* /usr/include/stdlib.h:152:NC */ extern long int atol (const char *);
/* /usr/include/stdlib.h:159:NC */ extern long long int atoll (const char *);
/* /usr/include/stdlib.h:167:NC */ extern double strtod (const char *, char **);
/* /usr/include/stdlib.h:186:NC */ extern long int strtol (const char *, char **, int);
/* /usr/include/stdlib.h:190:NC */ extern long unsigned int strtoul (const char *, char **, int);
/* /usr/include/stdlib.h:198:NC */ extern long long int strtoq (const char *, char **, int);
/* /usr/include/stdlib.h:203:NC */ extern long long unsigned int strtouq (const char *, char **, int);
/* /usr/include/stdlib.h:212:NC */ extern long long int strtoll (const char *, char **, int);
/* /usr/include/stdlib.h:217:NC */ extern long long unsigned int strtoull (const char *, char **, int);
/* /usr/include/stdlib.h:281:NC */ extern double __strtod_internal (const char *, char **, int);
/* /usr/include/stdlib.h:284:NC */ extern float __strtof_internal (const char *, char **, int);
/* /usr/include/stdlib.h:288:NC */ extern long double __strtold_internal (const char *, char **, int);
/* /usr/include/stdlib.h:293:NC */ extern long int __strtol_internal (const char *, char **, int, int);
/* /usr/include/stdlib.h:300:NC */ extern long unsigned int __strtoul_internal (const char *, char **, int, int);
/* /usr/include/stdlib.h:309:NC */ extern long long int __strtoll_internal (const char *, char **, int, int);
/* /usr/include/stdlib.h:318:NC */ extern long long unsigned int __strtoull_internal (const char *, char **, int, int);
/* /usr/include/stdlib.h:329:NF */ extern double strtod (const char *__nptr, char **__endptr); /* (__nptr, __endptr) const char *__nptr; char **__endptr; */
/* /usr/include/stdlib.h:335:NF */ extern long int strtol (const char *__nptr, char **__endptr, int __base); /* (__nptr, __endptr, __base) const char *__nptr; char **__endptr; int __base; */
/* /usr/include/stdlib.h:341:NF */ extern long unsigned int strtoul (const char *__nptr, char **__endptr, int __base); /* (__nptr, __endptr, __base) const char *__nptr; char **__endptr; int __base; */
/* /usr/include/stdlib.h:367:NF */ extern long long int strtoq (const char *__nptr, char **__endptr, int __base); /* (__nptr, __endptr, __base) const char *__nptr; char **__endptr; int __base; */
/* /usr/include/stdlib.h:373:NF */ extern long long unsigned int strtouq (const char *__nptr, char **__endptr, int __base); /* (__nptr, __endptr, __base) const char *__nptr; char **__endptr; int __base; */
/* /usr/include/stdlib.h:383:NF */ extern long long int strtoll (const char *__nptr, char **__endptr, int __base); /* (__nptr, __endptr, __base) const char *__nptr; char **__endptr; int __base; */
/* /usr/include/stdlib.h:389:NF */ extern long long unsigned int strtoull (const char *__nptr, char **__endptr, int __base); /* (__nptr, __endptr, __base) const char *__nptr; char **__endptr; int __base; */
/* /usr/include/stdlib.h:398:NF */ extern double atof (const char *__nptr); /* (__nptr) const char *__nptr; */
/* /usr/include/stdlib.h:403:NF */ extern int atoi (const char *__nptr); /* (__nptr) const char *__nptr; */
/* /usr/include/stdlib.h:408:NF */ extern long int atol (const char *__nptr); /* (__nptr) const char *__nptr; */
/* /usr/include/stdlib.h:417:NF */ extern long long int atoll (const char *__nptr); /* (__nptr) const char *__nptr; */
/* /usr/include/stdlib.h:429:NC */ extern char *l64a (long int);
/* /usr/include/stdlib.h:433:NC */ extern long int a64l (const char *);
/* /usr/include/sys/select.h:112:NC */ extern int select (int, fd_set *, fd_set *, fd_set *, struct timeval *);
/* /usr/include/sys/select.h:125:NC */ extern int pselect (int, fd_set *, fd_set *, fd_set *, const struct timespec *, const __sigset_t *);
/* /usr/include/sys/sysmacros.h:32:NC */ extern unsigned int gnu_dev_major (long long unsigned int);
/* /usr/include/sys/sysmacros.h:35:NC */ extern unsigned int gnu_dev_minor (long long unsigned int);
/* /usr/include/sys/sysmacros.h:39:NC */ extern long long unsigned int gnu_dev_makedev (unsigned int, unsigned int);
/* /usr/include/sys/sysmacros.h:44:NF */ extern unsigned int gnu_dev_major (long long unsigned int __dev); /* (__dev) long long unsigned int __dev; */
/* /usr/include/sys/sysmacros.h:50:NF */ extern unsigned int gnu_dev_minor (long long unsigned int __dev); /* (__dev) long long unsigned int __dev; */
/* /usr/include/sys/sysmacros.h:56:NF */ extern long long unsigned int gnu_dev_makedev (unsigned int __major, unsigned int __minor); /* (__major, __minor) unsigned int __major; unsigned int __minor; */
/* /usr/include/stdlib.h:445:NC */ extern long int random (void);
/* /usr/include/stdlib.h:448:NC */ extern void srandom (unsigned int);
/* /usr/include/stdlib.h:455:NC */ extern char *initstate (unsigned int, char *, size_t);
/* /usr/include/stdlib.h:459:NC */ extern char *setstate (char *);
/* /usr/include/stdlib.h:479:NC */ extern int random_r (struct random_data *, int32_t *);
/* /usr/include/stdlib.h:482:NC */ extern int srandom_r (unsigned int, struct random_data *);
/* /usr/include/stdlib.h:487:NC */ extern int initstate_r (unsigned int, char *, size_t, struct random_data *);
/* /usr/include/stdlib.h:491:NC */ extern int setstate_r (char *, struct random_data *);
/* /usr/include/stdlib.h:498:NC */ extern int rand (void);
/* /usr/include/stdlib.h:500:NC */ extern void srand (unsigned int);
/* /usr/include/stdlib.h:505:NC */ extern int rand_r (unsigned int *);
/* /usr/include/stdlib.h:513:NC */ extern double drand48 (void);
/* /usr/include/stdlib.h:514:NC */ extern double erand48 (short unsigned int *);
/* /usr/include/stdlib.h:517:NC */ extern long int lrand48 (void);
/* /usr/include/stdlib.h:519:NC */ extern long int nrand48 (short unsigned int *);
/* /usr/include/stdlib.h:522:NC */ extern long int mrand48 (void);
/* /usr/include/stdlib.h:524:NC */ extern long int jrand48 (short unsigned int *);
/* /usr/include/stdlib.h:527:NC */ extern void srand48 (long int);
/* /usr/include/stdlib.h:529:NC */ extern short unsigned int *seed48 (short unsigned int *);
/* /usr/include/stdlib.h:530:NC */ extern void lcong48 (short unsigned int *);
/* /usr/include/stdlib.h:547:NC */ extern int drand48_r (struct drand48_data *, double *);
/* /usr/include/stdlib.h:550:NC */ extern int erand48_r (short unsigned int *, struct drand48_data *, double *);
/* /usr/include/stdlib.h:555:NC */ extern int lrand48_r (struct drand48_data *, long int *);
/* /usr/include/stdlib.h:559:NC */ extern int nrand48_r (short unsigned int *, struct drand48_data *, long int *);
/* /usr/include/stdlib.h:564:NC */ extern int mrand48_r (struct drand48_data *, long int *);
/* /usr/include/stdlib.h:568:NC */ extern int jrand48_r (short unsigned int *, struct drand48_data *, long int *);
/* /usr/include/stdlib.h:572:NC */ extern int srand48_r (long int, struct drand48_data *);
/* /usr/include/stdlib.h:575:NC */ extern int seed48_r (short unsigned int *, struct drand48_data *);
/* /usr/include/stdlib.h:579:NC */ extern int lcong48_r (short unsigned int *, struct drand48_data *);
/* /usr/include/stdlib.h:589:NC */ extern void *malloc (size_t);
/* /usr/include/stdlib.h:592:NC */ extern void *calloc (size_t, size_t);
/* /usr/include/stdlib.h:601:NC */ extern void *realloc (void *, size_t);
/* /usr/include/stdlib.h:603:NC */ extern void free (void *);
/* /usr/include/stdlib.h:608:NC */ extern void cfree (void *);
/* /usr/include/alloca.h:33:NC */ extern void *alloca (size_t);
/* /usr/include/stdlib.h:617:NC */ extern void *valloc (size_t);
/* /usr/include/stdlib.h:623:NC */ extern int posix_memalign (void **, size_t, size_t);
/* /usr/include/stdlib.h:628:NC */ extern void abort (void);
/* /usr/include/stdlib.h:632:NC */ extern int atexit (void (*) (void));
/* /usr/include/stdlib.h:639:NC */ extern int on_exit (void (*) (int, void *), void *);
/* /usr/include/stdlib.h:646:NC */ extern void exit (int);
/* /usr/include/stdlib.h:660:NC */ extern char *getenv (const char *);
/* /usr/include/stdlib.h:666:NC */ extern char *__secure_getenv (const char *);
/* /usr/include/stdlib.h:672:NC */ extern int putenv (char *);
/* /usr/include/stdlib.h:679:NC */ extern int setenv (const char *, const char *, int);
/* /usr/include/stdlib.h:682:NC */ extern int unsetenv (const char *);
/* /usr/include/stdlib.h:689:NC */ extern int clearenv (void);
/* /usr/include/stdlib.h:698:NC */ extern char *mktemp (char *);
/* /usr/include/stdlib.h:709:NC */ extern int mkstemp (char *);
/* /usr/include/stdlib.h:729:NC */ extern char *mkdtemp (char *);
/* /usr/include/stdlib.h:738:NC */ extern int system (const char *);
/* /usr/include/stdlib.h:756:NC */ extern char *realpath (const char *, char *);
/* /usr/include/stdlib.h:775:NC */ extern void *bsearch (const void *, const void *, size_t, size_t, __compar_fn_t);
/* /usr/include/stdlib.h:780:NC */ extern void qsort (void *, size_t, size_t, __compar_fn_t);
/* /usr/include/stdlib.h:784:NC */ extern int abs (int);
/* /usr/include/stdlib.h:785:NC */ extern long int labs (long int);
/* /usr/include/stdlib.h:799:NC */ extern div_t div (int, int);
/* /usr/include/stdlib.h:801:NC */ extern ldiv_t ldiv (long int, long int);
/* /usr/include/stdlib.h:821:NC */ extern char *ecvt (double, int, int *, int *);
/* /usr/include/stdlib.h:827:NC */ extern char *fcvt (double, int, int *, int *);
/* /usr/include/stdlib.h:833:NC */ extern char *gcvt (double, int, char *);
/* /usr/include/stdlib.h:840:NC */ extern char *qecvt (long double, int, int *, int *);
/* /usr/include/stdlib.h:843:NC */ extern char *qfcvt (long double, int, int *, int *);
/* /usr/include/stdlib.h:845:NC */ extern char *qgcvt (long double, int, char *);
/* /usr/include/stdlib.h:852:NC */ extern int ecvt_r (double, int, int *, int *, char *, size_t);
/* /usr/include/stdlib.h:855:NC */ extern int fcvt_r (double, int, int *, int *, char *, size_t);
/* /usr/include/stdlib.h:860:NC */ extern int qecvt_r (long double, int, int *, int *, char *, size_t);
/* /usr/include/stdlib.h:864:NC */ extern int qfcvt_r (long double, int, int *, int *, char *, size_t);
/* /usr/include/stdlib.h:872:NC */ extern int mblen (const char *, size_t);
/* /usr/include/stdlib.h:876:NC */ extern int mbtowc (wchar_t *, const char *, size_t);
/* /usr/include/stdlib.h:879:NC */ extern int wctomb (char *, wchar_t);
/* /usr/include/stdlib.h:884:NC */ extern size_t mbstowcs (wchar_t *, const char *, size_t);
/* /usr/include/stdlib.h:888:NC */ extern size_t wcstombs (char *, const wchar_t *, size_t);
/* /usr/include/stdlib.h:897:NC */ extern int rpmatch (const char *);
/* /usr/include/stdlib.h:925:NC */ extern int posix_openpt (int);
/* /usr/include/stdlib.h:961:NC */ extern int getloadavg (double *, int);
/* /usr/include/assert.h:71:NC */ extern void __assert_fail (const char *, const char *, unsigned int, const char *);
/* /usr/include/assert.h:77:NC */ extern void __assert_perror_fail (int, const char *, unsigned int, const char *);
/* /usr/include/assert.h:83:NC */ extern void __assert (const char *, const char *, int);
/* /home/staff/stolfi/include/jstime.h:7:NC */ extern char *today (void);
/* /home/staff/stolfi/include/jstime.h:18:NC */ extern double real_time_usec (void);
/* /home/staff/stolfi/include/jstime.h:23:NC */ extern double user_cpu_time_usec (void);
/* /home/staff/stolfi/include/jstime.h:24:NC */ extern double system_cpu_time_usec (void);
/* /home/staff/stolfi/include/jsmath.h:9:NC */ extern int64_t ipow (int64_t, unsigned int);
/* /home/staff/stolfi/include/jsmath.h:12:NC */ extern int64_t imod (int64_t, int64_t);
/* /home/staff/stolfi/include/jsmath.h:16:NC */ extern int64_t ifloor (int64_t, int64_t);
/* /home/staff/stolfi/include/jsmath.h:21:NC */ extern int64_t iceil (int64_t, int64_t);
/* /home/staff/stolfi/include/jsmath.h:26:NC */ extern uint64_t gcd (uint64_t, uint64_t);
/* /home/staff/stolfi/include/jsmath.h:30:NC */ extern uint64_t lcm (uint64_t, uint64_t);
/* /home/staff/stolfi/include/jsmath.h:34:NC */ extern int64_t imin (int64_t, int64_t);
/* /home/staff/stolfi/include/jsmath.h:35:NC */ extern int64_t imax (int64_t, int64_t);
/* /home/staff/stolfi/include/jsmath.h:38:NC */ extern uint64_t umin (uint64_t, uint64_t);
/* /home/staff/stolfi/include/jsmath.h:39:NC */ extern uint64_t umax (uint64_t, uint64_t);
/* /home/staff/stolfi/include/jsmath.h:42:NC */ extern unsigned int digits (uint64_t);
/* /home/staff/stolfi/include/jsmath.h:46:NC */ extern double rel_diff (double, double);
/* test-iadd-speed.c:13:NC */ extern void test (int, int);
/* test-iadd-speed.c:16:NF */ extern void test (int m, int n); /* (m, n) int m; int n; */
/* test-iadd-speed.c:62:NF */ extern int main (int argc, char **argv); /* (argc, argv) int argc; char **argv; */