868extern int fseeko (FILE *__stream, __off_t __off, int __whence);
869extern __off_t ftello (FILE *__stream) ;
870
871extern int fgetpos (FILE *__restrict __stream, fpos_t *__restrict __pos);
872extern int fsetpos (FILE *__stream, __const fpos_t *__pos);
873
874
875extern void clearerr (FILE *__stream) __attribute__ ((__nothrow__ , __leaf__));
876extern int feof (FILE *__stream) __attribute__ ((__nothrow__ , __leaf__)) ;
877extern int ferror (FILE *__stream) __attribute__ ((__nothrow__ , __leaf__)) ;
878
879extern void clearerr_unlocked (FILE *__stream) __attribute__ ((__nothrow__ , __leaf__));
880extern int feof_unlocked (FILE *__stream) __attribute__ ((__nothrow__ , __leaf__)) ;
881extern int ferror_unlocked (FILE *__stream) __attribute__ ((__nothrow__ , __leaf__)) ;
882
883extern void perror (__const char *__s);
884
885extern int sys_nerr;
886extern __const char *__const sys_errlist[];
887extern int fileno (FILE *__stream) __attribute__ ((__nothrow__ , __leaf__)) ;
888extern int fileno_unlocked (FILE *__stream) __attribute__ ((__nothrow__ , __leaf__)) ;
889extern FILE *popen (__const char *__command, __const char *__modes) ;
890extern int pclose (FILE *__stream);
891extern char *ctermid (char *__s) __attribute__ ((__nothrow__ , __leaf__));
892extern void flockfile (FILE *__stream) __attribute__ ((__nothrow__ , __leaf__));
893extern int ftrylockfile (FILE *__stream) __attribute__ ((__nothrow__ , __leaf__)) ;
894extern void funlockfile (FILE *__stream) __attribute__ ((__nothrow__ , __leaf__));
895
896extern int __VERIFIER_nondet_int(void);
897static void fail(void) {
898ERROR:
899 goto ERROR;
900}
901struct list_head {
902 struct list_head *next, *prev;
903};
904struct node {
905 int value;
906 struct list_head linkage;
907 struct list_head nested;
908};