+^221 343@344#@!2
+*0 (Datatype)
+^222 343@-@-@0@0@0@0@345#div_t
+*4 (Function)
+^223 347$^$@0#div
+^224 349$^$@0#labs
+*7 (Struct tag)
+^225 350@351#@!3
+*0 (Datatype)
+^226 350@-@-@0@0@0@0@352#ldiv_t
+*4 (Function)
+^227 354$^$@0#ldiv
+*1 (Constant)
+^228 63$#MB_CUR_MAX
+^229 5$#WCHAR_MAX#WCHAR_MIN
+^231 66$#WEOF
+*4 (Function)
+^232 356$^$@0#btowc
+^233 358$@0@s3@1@s3,tp0$@0#fgetwc
+^234 362@6@5@1@0@0@0@s3@1@s3,tp0,tp2$@0#fgetws
+^235 364$@0@s3@1@s3,tp1$@0#fputwc
+^236 366$@0@s3@1@s3,tp1$@0#fputws
+^237 368$^$@0#fwide
+^238 370@6@0@1@1@0@0@s3@1@tp0,s3$@0#fwprintf
+^239 372@6@0@1@2@0@0@s3@1@tp0,s3$@0#fwscanf
+^240 374$@0@s3@1@s3,tp0$@0#getwc
+^241 376$@0@s3,g17@6@0@1@s3,tg17$@0#getwchar
+^242 379$^$@0#mbrlen
+^243 381$@0@@1@tp0$@0#mbrtowc
+^244 383$^$@0#mbsinit
+^245 385$@0@@1@tp0$@0#mbsrtowcs
+^246 387$@0@s3@1@s3,tp1$@0#putwc
+^247 389$@0@s3,g18@6@0@1@s3,tg18$@0#putwchar
+^248 391@6@0@1@1@0@0@@1@tp0$@0#swprintf
+^249 393@6@0@1@2@0@0@g17@6@0@1@tg17$@0#swscanf
+^250 395$@0@s3@1@s3,tp1$@0#ungetwc
+^251 397$@0@s3@1@s3,tp0$@0#vfwprintf
+^252 399$@0@@1@tp0$@0#vswprintf
+^253 401$@0@s3,g18@6@0@1@s3,tg18$@0#vwprintf
+^254 403$@0@@1@tp0$@0#wcrtomb
+^255 407$@0@@1@tp0$@0#wcscat
+^256 410@6@5@1@0@0^@19@2@0#wcschr
+^257 412$^$@0#wcscmp
+^258 414$^$@0#wcscoll
+^259 417$@0@@1@tp0$@0#wcscpy
+^260 419$^$@0#wcscspn
+*7 (Struct tag)
+^261 589@420#@tm
+*4 (Function)
+^262 423$@0@@1@tp0$@0#wcsftime
+^263 425$^$@0#wcslen
+^264 429$@0@@1@tp0$@0#wcsncat
+^265 431$^$@0#wcsncmp
+^266 434$@0@@1@tp0$@0#wcsncpy
+^267 437@6@5@1@0@0^$@0#wcspbrk
+^268 440@6@5@1@0@0^$@0#wcsrchr
+^269 443$@0@@1@tp1$@0#wcsrtombs
+^270 445$^$@0#wcsspn
+^271 448@6@5@1@0@0^@3@0@0#wcsstr
+^272 450$@0@@1@tp1$@0#wcstod
+^273 453@6@5@1@0@0@0@@1@tp2@3@0@0#wcstok
+^274 455$@0@@1@tp1$@0#wcstol
+^275 457$@0@@1@tp1$@0#wcstoul
+^276 459$@0@@1@tp0$@0#wcsxfrm
+^277 461$^$@0#wctob
+^278 464@6@5@1@0@0^@3@0@0#wmemchr
+^279 466$^$@0#wmemcmp
+^280 469$@0@@1@tp0$@0#wmemcpy
+^281 472$@0@@1@tp0$@0#wmemmove
+^282 475$@0@@1@tp0$@0#wmemset
+^283 477@6@0@1@1@0@1@g18@6@0,g22@6@0@1@g22,tg18$@0#wprintf
+^284 479@6@0@1@2@0@1@g17@6@0,g22@6@0@1@g22,tg17$@0#wscanf
+*0 (Datatype)
+^285 13@-@-@0@0@0@0@480#wctype_t
+^286 13@-@-@0@0@0@0@481#wctrans_t
+*4 (Function)
+^287 483$^$@0#iswalnum
+^288 485$^$@0#iswalpha
+^289 487$^$@0#iswcntrl
+^290 489$^$@0#iswctype
+^291 491$^$@0#iswdigit
+^292 493$^$@0#iswgraph
+^293 495$^$@0#iswlower
+^294 497$^$@0#iswprint
+^295 499$^$@0#iswpunct
+^296 501$^$@0#iswspace
+^297 503$^$@0#iswupper
+^298 505$^$@0#iswxdigit
+^299 507$^$@0#towctrans
+^300 509$^$@0#towlower
+^301 511$^$@0#towupper
+^302 513$^$@0#wctrans
+^303 515$^$@0#wctype
+^304 517$^$@0#mblen
+^305 519$@0@@1@tp0$@0#mbtowc
+^306 521$@0@@1@tp0$@0#wctomb
+^307 523$@0@@1@tp0$@0#mbstowcs
+^308 525$@0@@1@tp0$@0#wcstombs
+^309 529$@0@@1@tp0$@0#memcpy
+^310 532$@0@@1@tp0$@0#memmove
+^311 536$@0@@1@tp0$@0#strcpy
+^312 539$@0@@1@tp0$@0#strncpy
+^313 542$@0@@1@tp0$@0#strcat
+^314 545$@0@@1@tp0$@0#strncat
+^315 547$^$@0#memcmp
+^316 549$^$@0#strcmp
+^317 551$^$@0#strcoll
+^318 553$^$@0#strncmp
+^319 555$@0@@1@tp0$@0#strxfrm
+^320 558@6@5@1@0@0^@3@0@0#memchr
+^321 561@6@5@1@0@0^@19@2@0#strchr
+^322 563$^$@0#strcspn
+^323 566@6@5@1@0@0^@19@2@0#strpbrk
+^324 569@6@5@1@0@0^@19@2@0#strrchr
+^325 571$^$@0#strspn
+^326 574@6@5@1@0@0^@19@2@0#strstr
+^327 577@6@5@1@0@0@0@s1,g22@6@0@1@tp0,s1,g22@19@2@0#strtok
+^328 581$@0@@1@tp0$@0#memset
+^329 584$^@19@3@0#strerror
+^330 586$^$@0#strlen
+*1 (Constant)
+^331 5$#CLOCKS_PER_SEC
+*0 (Datatype)
+^332 13@-@-@0@0@0@0@587#clock_t
+^333 13@-@-@0@0@0@0@588#time_t
+*4 (Function)
+^334 591$@0@s1@1@s1$@0#clock
+^335 593$^$@0#difftime
+^336 595$^$@0#mktime
+^337 598$@0@@1@tp0$@0#time
+^338 601$@0@g22@6@0@1@g22@19@3@0#asctime
+^339 604$^@19@3@0#ctime
+^340 607@6@5@1@0@0^@19@3@0#gmtime
+^341 610@6@5@1@0@0@0@g22@6@0@1@g22@19@3@0#localtime
+^342 612$@0@@1@tp0$@0#strftime
+*0 (Datatype)
+^343 13@-@-@0@0@0@0@613#int8_t
+^344 13@-@-@0@0@0@0@614#int16_t
+^345 13@-@-@0@0@0@0@615#int32_t
+^346 13@-@-@0@0@0@0@616#int64_t
+^347 14@-@-@0@0@0@0@617#uint8_t
+^348 14@-@-@0@0@0@0@618#uint16_t
+^349 14@-@-@0@0@0@0@619#uint32_t
+^350 14@-@-@0@0@0@0@620#uint64_t
+^351 13@-@-@0@0@0@0@621#int_least8_t
+^352 13@-@-@0@0@0@0@622#int_least16_t
+^353 13@-@-@0@0@0@0@623#int_least32_t
+^354 13@-@-@0@0@0@0@624#int_least64_t
+^355 14@-@-@0@0@0@0@625#uint_least8_t
+^356 14@-@-@0@0@0@0@626#uint_least16_t
+^357 14@-@-@0@0@0@0@627#uint_least32_t
+^358 14@-@-@0@0@0@0@628#uint_least64_t
+^359 13@-@-@0@0@0@0@629#int_fast8_t
+^360 13@-@-@0@0@0@0@630#int_fast16_t
+^361 13@-@-@0@0@0@0@631#int_fast32_t
+^362 13@-@-@0@0@0@0@632#int_fast64_t
+^363 14@-@-@0@0@0@0@633#uint_fast8_t
+^364 14@-@-@0@0@0@0@634#uint_fast16_t
+^365 14@-@-@0@0@0@0@635#uint_fast32_t
+^366 14@-@-@0@0@0@0@636#uint_fast64_t
+^367 24@-@+@0@0@0@0@637#intptr_t
+^368 25@-@+@0@0@0@0@638#uintptr_t
+^369 15@-@-@0@0@0@0@639#intmax_t
+^370 14@-@-@0@0@0@0@640#uintmax_t
+*1 (Constant)
+^371 5$#INT8_MIN#INT16_MIN#INT32_MIN#INT64_MIN#INT8_MAX#INT16_MAX#INT32_MAX#INT64_MAX#UINT8_MIN#UINT16_MIN#UINT32_MIN#UINT64_MIN#INT_LEAST8_MIN#INT_LEAST16_MIN#INT_LEAST32_MIN#INT_LEAST64_MIN#INT_LEAST8_MAX#INT_LEAST16_MAX#INT_LEAST32_MAX#INT_LEAST64_MAX#UINT_LEAST8_MAX#UINT_LEAST16_MAX#UINT_LEAST32_MAX#UINT_LEAST64_MAX#INT_FAST8_MIN#INT_FAST16_MIN#INT_FAST32_MIN#INT_FAST64_MIN#INT_FAST8_MAX#INT_FAST16_MAX#INT_FAST32_MAX#INT_FAST64_MAX#UINT_FAST8_MAX#UINT_FAST16_MAX#UINT_FAST32_MAX#UINT_FAST64_MAX
+^407 63$#INTPTR_MIN#INTPTR_MAX
+*0 (Datatype)
+^409 13@-@-@0@0@0@0@641#dev_t
+^410 13@-@-@0@0@0@0@642#gid_t
+^411 14@-@-@0@0@0@0@643#ino_t
+^412 13@-@-@0@0@0@0@644#mode_t
+^413 13@-@-@0@0@0@0@645#nlink_t
+^414 13@-@-@0@0@0@0@646#off_t
+^415 13@-@-@0@0@0@0@647#pid_t
+^416 13@-@-@0@0@0@0@648#uid_t
+^417 20@+@+@0@0@0@0@649#DIR
+*7 (Struct tag)
+^418 650@651#@dirent
+*4 (Function)
+^419 654$@0@g22@6@0@1@g22$@0#closedir
+^420 657@6@5@1@0@0@0@g22@6@0@1@g22@3@0@0#opendir
+^421 661@6@5@1@0@0@0@g22@6@0@1@g22@3@0@0#readdir
+^422 663$^$@0#rewinddir
+*1 (Constant)
+^423 5$#E2BIG#EACCES#EAGAIN#EBADF#EBUSY#ECHILD#EDEADLK#EEXIST#EFAULT#EFBIG#EINTR#EINVAL#EIO#EISDIR#EMFILE#EMLINK#ENAMETOOLONG#ENFILE#ENODEV#ENOENT#ENOEXEC#ENOLCK#ENOMEM#ENOSPC#ENOSYS#ENOTDIR#ENOTEMPTY#ENOTTY#ENXIO#EPERM#EPIPE#EROFS#ESPIPE#ESRCH#EXDEV#FD_CLOEXEC#F_DUPFD#F_GETFD#F_GETFL#F_GETLK#F_RDLCK#F_SETFD#F_SETFL#F_SETLK#F_SETLKW#F_UNLCK#F_WRLCK#O_ACCMODE#O_APPEND#O_CREAT#O_EXCL#O_NOCTTY#O_NONBLOCK#O_RDONLY#O_RDWR#O_TRUNC#O_WRONLY#S_IRGRP#S_IROTH#S_IUSR#S_IWXG#S_IWXO#S_IWXU#S_ISGID#S_ISUID#S_IWGRP#S_IWOTH#S_IWUSR#S_IXGRP#S_IXOTH#S_IXUSR
+*7 (Struct tag)
+^494 664@665#@flock
+*4 (Function)
+^495 667$@0@g22@6@0@1@g22$@0#creat
+^496 669$@0@g22@6@0@1@g22$@0#fcntl
+^497 671$@0@g22@6@0@1@g22$@0#open
+*7 (Struct tag)
+^498 672@673#@group
+*4 (Function)
+^499 677@6@5@1@0@0@0@g22@6@0@1@g22@3@0@0#getgrgid
+^500 680@6@5@1@0@0@0@g22@6@0@1@g22@3@0@0#getgrnam
+*1 (Constant)
+^501 9$#ARG_MAX#CHILD_MAX#LINK_MAX#MAX_CANON
+^505 63$#MAX_INPUT#NAME_MAX
+^507 9$#NGROUPS_MAX#OPEN_MAX
+^509 63$#PATH_MAX#PIPE_BUF
+^511 9$#SSIZE_MAX#STREAM_MAX#TZNAME_MAX#_POSIX_ARG_MAX#_POSIX_CHILD_MAX#_POSIX_LINK_MAX#_POSIX_MAX_CANON#_POSIX_MAX_INPUT#_POSIX_NAME_MAX#_POSIX_NGROUPS_MAX#_POSIX_OPEN_MAX#_POSIX_PATH_MAX#_POSIX_PIPE_BUF#_POSIX_SSIZE#_POSIX_STREAM#_POSIX_TZNAME_MAX
+*7 (Struct tag)
+^527 681@682#@passwd
+*4 (Function)
+^528 686@6@5@1@0@0@0@g22@6@0@1@g22@19@3@0#getpwnam
+^529 689@6@5@1@0@0@0@g22@6@0@1@g22@19@3@0#getpwuid
+*0 (Datatype)
+^530 20@+@+@0@0@0@0@690#sigjmp_buf
+*4 (Function)
+^531 692@6@0@5@0@0^$@0#siglongjmp
+^532 694$@0@@1@p0$@0#sigsetjmp
+*0 (Datatype)
+^533 0@+@=@0@0@0@0@695#sigset_t
+*1 (Constant)
+^534 5$#SA_NOCLDSTOP#SIG_BLOCK#SIG_SETMASK#SIG_UNBLOCK#SIGALRM#SIGCHLD#SIGCONT#SIGHUP#SIGKILL#SIGPIPE#SIGQUIT#SIGSTOP#SIGTSTP#SIGTTIN#SIGTTOU#SIGUSR1#SIGUSR2
+*7 (Struct tag)
+^551 700@701#@sigaction
+*4 (Function)
+^552 703@6@0@5@0@0@0@g22@6@0@1@g22$@0#kill
+^553 706$@0@g22@6@0,s3@1@tp2,g22,s3$@0#sigaction
+^554 709$@0@g22@6@0@1@tp0,g22$@0#sigaddset
+^555 711$@0@g22@6@0@1@tp0,g22$@0#sigdelset
+^556 713$@0@g22@6@0@1@tp0,g22$@0#sigemptyset
+^557 715$@0@g22@6@0@1@tp0,g22$@0#sigfillset
+^558 717$@0@g22@6@0@1@g22$@0#sigismember
+^559 719$@0@g22@6@0@1@tp0,g22$@0#sigpending
+^560 721$@0@g22@6@0,s3@1@tp2,g22,s3$@0#sigprocmask
+^561 723$@0@g22@6@0,s3@1@g22,s3$@0#sigsuspend
+*1 (Constant)
+^562 5$#L_ctermid#L_cuserid
+*4 (Function)
+^564 726@6@5@1@0@0@0@g22@6@0,s3@1@g22,s3@18@0@0#fdopen
+^565 728$@0@g22@6@0@1@g22$@0#fileno
+*7 (Struct tag)
+^566 729@730#@stat
+*4 (Function)
+^567 734$^$@0#S_ISBLK
+^568 737$^$@0#S_ISCHR
+^569 740$^$@0#S_ISDIR
+^570 743$^$@0#S_ISFIFO
+^571 746$^$@0#S_ISREG
+^572 748$@0@s3,g22@6@0@1@s3,g22$@0#chmod
+^573 751$@0@g22@6@0@1@g22,tp1$@0#fstat
+^574 753$@0@s3,g22@6@0@1@s3,g22$@0#mkdir
+^575 755$@0@s3,g22@6@0@1@s3,g22$@0#mkfifo
+^576 757$@0@g22@6@0@1@g22,tp1$@0#stat
+^577 759$@0@s3@1@s3$@0#umask
+*7 (Struct tag)
+^578 760@761#@tms
+*4 (Function)
+^579 764$@0@@1@tp0$@0#times
+*7 (Struct tag)
+^580 765@766#@utsname
+*4 (Function)
+^581 769$@0@g22@6@0@1@tp0,g22$@0#uname
+^582 771$^$@0#WEXITSTATUS
+^583 773$^$@0#WIFEXITED
+^584 775$^$@0#WIFSIGNALED
+^585 777$^$@0#WIFSTOPPED
+^586 779$^$@0#WSTOPSIG
+^587 781$^$@0#WTERMSIG
+*1 (Constant)
+^588 5$#WUNTRACED
+*4 (Function)
+^589 783$@0@g22@6@0,s3@1@tp0,g22,s3$@0#wait
+^590 785$@0@g22@6@0,s3@1@tp1,g22,s3$@0#waitpid
+*0 (Datatype)
+^591 787@-@-@0@0@0@0@788#cc_t
+^592 790@-@-@0@0@0@0@791#speed_t
+^593 790@-@-@0@0@0@0@792#tcflag_t
+*1 (Constant)
+^594 5$#B0#B50#B75#B110#B134#B150#B200#B300#B600#B1200#B1800#B2400#B4800#B9600#B19200#B38400#BRKINT#CLOCAL#CREAD#CS5#CS6#CS7#CS8#CSIZE#CSTOPB#ECHO#ECHOE#ECHOK#ECHONL#HUPCL#ICANON#ICRNL#IEXTEN#IGNBRK#IGNCR#IGNPAR#IGNLCR#INPCK#ISIG#ISTRIP#IXOFF#IXON#NCCS#NOFLSH#OPOST#PARENB#PARMRK#PARODD#TCIFLUSH#TCIOFF#TCIOFLUSH#TCION#TCOFLUSH#TCSADRAIN#TCSAFLUSH#TCSANOW#TOSTOP#VEOF#VEOL#VERASE#VINTR#VKILL#VMIN#VQUIT#VSTART#VSTOP#VSUSP#VTIME
+*7 (Struct tag)
+^662 793@794#@termios
+*4 (Function)
+^663 797$^$@0#cfgetispeed
+^664 799$^$@0#cfgetospeed
+^665 801$@0@@1@tp0$@0#cfsetispeed
+^666 803$@0@@1@tp0$@0#cfsetospeed
+^667 805$@0@g22@6@0@1@g22$@0#tcdrain
+^668 807$@0@g22@6@0@1@g22$@0#tcflow
+^669 809$@0@g22@6@0@1@g22$@0#tcflush
+^670 811$@0@g22@6@0@1@g22,tp1$@0#tcgetattr
+^671 813$@0@g22@6@0@1@g22$@0#tcsendbreak
+^672 815$@0@g22@6@0@1@g22$@0#tcsetattr
+*3 (Variable)
+^673 291|@1|6@0@0@0@1#environ
+*1 (Constant)
+^674 5$#CLK_TCK
+*4 (Function)
+^675 817$@1@g673@6@0,s3@1@s3$@0#tzset
+*1 (Constant)
+^676 5$#F_OK#R_OK#STDERR_FILENO#STDIN_FILENO#STDOUT_FILENO#W_OK#X_OK#_PC_CHOWN_RESTRUCTED#_PC_MAX_CANON#_PC_MAX_INPUT#_PC_NAME_MAX#_PC_NO_TRUNC#_PC_PATH_MAX#_PC_PIPE_BUF#_PC_VDISABLE#_POSIX_CHOWN_RESTRICTED#_POSIX_JOB_CONTROL#_POSIX_NO_TRUNC#_POSIX_SAVED_IDS#_POSIX_VDISABLE#_POSIX_VERSION#_SC_ARG_MAX#_SC_CHILD_MAX#_SC_CLK_TCK#_SC_JOB_CONTROL#_SC_NGROUPS_MAX#_SC_OPEN_MAX#_SC_SAVED_IDS#_SC_STREAM_MAX#_SC_TZNAME_MAX#_SC_VERSION
+*4 (Function)
+^707 819@6@0@6@0@0^$@0#_exit
+^708 821$@0@g22@6@0@1@g22$@0#access
+^709 823$@0@s3@1@s3$@0#alarm
+^710 825$@0@g22@6@0@1@g22$@0#chdir
+^711 827$@0@s3,g22@6@0@1@s3,g22$@0#chown
+^712 829$@0@s3,g22@6@0@1@s3,g22$@0#close
+^713 832$@0@s3@1@tp0,s3$@0#ctermid
+^714 835$@0@@1@tp0@3@0@0#cuserid
+^715 837$@0@g22@6@0,s3@1@g22,s3$@0#dup2
+^716 839$@0@g22@6@0,s3@1@g22,s3$@0#dup
+^717 841@6@0@5@0@0@0@g22@6@0@1@g22$@0#execl
+^718 843@6@0@5@0@0@0@g22@6@0@1@g22$@0#execle
+^719 845@6@0@5@0@0@0@g22@6@0@1@g22$@0#execlp
+^720 849@6@0@5@0@0@0@g22@6@0@1@g22$@0#execv
+^721 851@6@0@5@0@0@0@g22@6@0@1@g22$@0#execve
+^722 853@6@0@5@0@0@0@g22@6@0@1@g22$@0#execvp
+^723 855$@0@s3,g22@6@0@1@s3,g22$@0#fork
+^724 857$@0@g22@6@0@1@g22$@0#fpathconf
+^725 860@6@5@1@0@0@0@g22@6@0@1@g22,tp0$@0#getcwd
+^726 862$^$@0#getegid
+^727 864$^$@0#geteuid
+^728 866$^$@0#getgid
+^729 869$@0@g22@6@0@1@g22,ap1$@0#getgroups
+^730 872$^@19@3@0#getlogin
+^731 874$^$@0#getpgrp
+^732 876$^$@0#getpid
+^733 878$^$@0#getppid
+^734 880$^$@0#getuid
+^735 882$^$@0#isatty
+^736 884$@0@g22@6@0,s3@1@g22,s3$@0#link
+^737 886$@0@g22@6@0@1@g22$@0#lseek
+^738 888$@0@g22@6@0@1@g22$@0#pathconf
+^739 890$@0@g22@6@0@1@g22$@0#pause
+^740 892$@0@g22@6@0@1@g22$@0#pipe
+^741 894$@0@g22@6@0@1@g22,tp1$@0#read
+^742 896$@0@s3,g22@6@0@1@s3,g22$@0#rmdir
+^743 898$@0@g22@6@0,s3@1@g22,s3$@0#setgid
+^744 900$@0@g22@6@0,s3@1@g22,s3$@0#setpgid
+^745 902$@0@s3@1@s3$@0#setsid
+^746 904$@0@g22@6@0,s3@1@g22,s3$@0#setuid
+^747 906$@0@s3@1@s3$@0#sleep
+^748 908$@0@g22@6@0@1@g22$@0#sysconf
+^749 910$@0@g22@6@0@1@g22$@0#tcgetpgrp
+^750 912$@0@g22@6@0,s3@1@g22,s3$@0#tcsetpgrp
+^751 915@6@5@1@0@0@0@g22@6@0@1@g22@19@3@0#ttyname
+^752 917$@0@s3,g22@6@0@1@s3,g22$@0#unlink
+^753 919$@0@g22@6@0@1@g22$@0#write
+*7 (Struct tag)
+^754 920@921#@utimbuf
+*4 (Function)
+^755 924$@0@s3,g22@6@0@1@s3,g22$@0#utime
+*0 (Datatype)
+^756 20@+@+@0@0@0@0@925#regex_t
+^757 13@-@-@0@0@0@0@926#regoff_t
+*7 (Struct tag)
+^758 927@928#@!4
+*0 (Datatype)
+^759 927@-@-@0@0@0@0@929#regmatch_t
+*4 (Function)
+^760 932$@0@@1@p0$@0#regcomp
+^761 935$@0@@1@p3$@0#regexec
+^762 937$@0@@1@p2$@0#regerror
+^763 939$$$@0#regfree
+*1 (Constant)
+^764 5$#REG_BASIC#REG_EXTENDED#REG_ICASE#REG_NOSUB#REG_NEWLINE#REG_NOSPEC#REG_PEND#REG_DUMP#REG_NOMATCH#REG_BADPAT#REG_ECOLLATE#REG_ECTYPE#REG_EESCAPE#REG_ESUBREG#REG_EBRACK#REG_EPAREN#REG_EBRACE#REG_BADBR#REG_ERANGE#REG_ESPACE#REG_BADRPT#REG_EMPTY#REG_ASSERT#REG_INVARG#REG_ATOI#REG_ITOA#REG_NOTBOL#REG_NOTEOL#REG_STARTEND#REG_TRACE#REG_LARGE#REG_BACKR
+;; Library constraints
+vsnprintf
+pre:
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 23 0
+r
+2
+2
+Param 63 1
+;; end precondition constraints
+post:EMPTY
+fgets
+pre:
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 23 0
+r
+0
+1
+e1
+2
+2
+Param 5 1
+e2
+2
+3
+-1
+;; end precondition constraints
+post:
+C
+0@1@3
+l
+1
+3
+2
+2
+Param 23 0
+r
+2
+3
+0
+C
+0@1@1
+l
+1
+3
+2
+2
+Param 23 0
+r
+0
+1
+e1
+2
+2
+Param 5 1
+e2
+2
+3
+-1
+;; end precondition constraints
+calloc
+pre:EMPTY
+post:
+C
+0@1@4
+l
+1
+1
+2
+2
+Result
+r
+0
+1
+e1
+2
+2
+Param 63 0
+e2
+2
+3
+-1
+;; end precondition constraints
+malloc
+pre:EMPTY
+post:
+C
+0@1@4
+l
+1
+1
+2
+2
+Result
+r
+0
+1
+e1
+2
+2
+Param 63 0
+e2
+2
+3
+-1
+;; end precondition constraints
+realloc
+pre:EMPTY
+post:
+C
+0@1@3
+l
+1
+1
+2
+2
+Result
+r
+0
+1
+e1
+2
+2
+Param 63 1
+e2
+2
+3
+-1
+;; end precondition constraints
+memcpy
+pre:
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 20 0
+r
+0
+1
+e1
+2
+2
+Param 63 2
+e2
+2
+3
+-1
+C
+0@1@3
+l
+1
+3
+2
+2
+Param 20 1
+r
+0
+1
+e1
+2
+2
+Param 63 2
+e2
+2
+3
+-1
+;; end precondition constraints
+post:EMPTY
+memmove
+pre:
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 20 0
+r
+0
+1
+e1
+2
+2
+Param 63 2
+e2
+2
+3
+-1
+C
+0@1@3
+l
+1
+3
+2
+2
+Param 20 1
+r
+0
+1
+e1
+2
+2
+Param 63 2
+e2
+2
+3
+-1
+;; end precondition constraints
+post:EMPTY
+strcpy
+pre:
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 23 0
+r
+1
+3
+2
+2
+Param 23 1
+;; end precondition constraints
+post:
+C
+0@1@4
+l
+1
+1
+2
+2
+Result
+r
+1
+1
+2
+2
+Param 23 0
+C
+0@1@4
+l
+1
+3
+2
+2
+Result
+r
+1
+3
+2
+2
+Param 23 1
+C
+0@1@4
+l
+1
+3
+2
+2
+Param 23 0
+r
+1
+3
+2
+2
+Param 23 1
+;; end precondition constraints
+strncpy
+pre:
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 23 0
+r
+0
+1
+e1
+2
+2
+Param 63 2
+e2
+2
+3
+-1
+;; end precondition constraints
+post:
+C
+0@1@1
+l
+1
+3
+2
+2
+Param 23 0
+r
+2
+2
+Param 63 2
+C
+0@1@3
+l
+1
+3
+2
+2
+Param 23 1
+r
+1
+3
+2
+2
+Param 23 0
+;; end precondition constraints
+strcat
+pre:
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 23 0
+r
+0
+1
+e1
+1
+3
+2
+2
+Param 23 0
+e2
+1
+3
+2
+2
+Param 23 1
+;; end precondition constraints
+post:
+C
+0@1@4
+l
+1
+3
+2
+2
+Result
+r
+0
+1
+e1
+1
+3
+2
+2
+Param 23 0
+e2
+1
+3
+2
+2
+Param 23 1
+;; end precondition constraints
+strncat
+pre:
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 23 0
+r
+0
+1
+e1
+1
+3
+2
+2
+Param 23 0
+e2
+2
+2
+Param 63 2
+;; end precondition constraints
+post:
+C
+0@1@3
+l
+1
+3
+2
+2
+Param 23 0
+r
+0
+1
+e1
+1
+3
+2
+2
+Param 23 0
+e2
+2
+2
+Param 63 2
+;; end precondition constraints
+strchr
+pre:EMPTY
+post:
+C
+0@1@3
+l
+1
+3
+2
+2
+Result
+r
+2
+3
+0
+C
+0@1@1
+l
+1
+3
+2
+2
+Result
+r
+1
+3
+2
+2
+Param 23 0
+C
+0@1@1
+l
+1
+1
+2
+2
+Result
+r
+1
+1
+2
+2
+Param 23 0
+C
+0@1@3
+l
+1
+1
+2
+2
+Result
+r
+2
+3
+0
+;; end precondition constraints
+strrchr
+pre:EMPTY
+post:
+C
+0@1@3
+l
+1
+3
+2
+2
+Result
+r
+2
+3
+0
+C
+0@1@1
+l
+1
+3
+2
+2
+Result
+r
+1
+3
+2
+2
+Param 23 0
+C
+0@1@1
+l
+1
+1
+2
+2
+Result
+r
+1
+1
+2
+2
+Param 23 0
+C
+0@1@3
+l
+1
+1
+2
+2
+Result
+r
+2
+3
+0
+;; end precondition constraints
+strstr
+pre:EMPTY
+post:
+C
+0@1@3
+l
+1
+3
+2
+2
+Result
+r
+2
+3
+0
+C
+0@1@1
+l
+1
+3
+2
+2
+Result
+r
+1
+3
+2
+2
+Param 23 0
+C
+0@1@1
+l
+1
+1
+2
+2
+Result
+r
+1
+1
+2
+2
+Param 23 0
+C
+0@1@3
+l
+1
+1
+2
+2
+Result
+r
+2
+3
+0
+;; end precondition constraints
+memset
+pre:
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 20 0
+r
+0
+1
+e1
+2
+2
+Param 63 2
+e2
+2
+3
+-1
+;; end precondition constraints
+post:
+C
+0@1@3
+l
+1
+3
+2
+2
+Param 20 0
+r
+0
+1
+e1
+2
+2
+Param 63 2
+e2
+2
+3
+-1
+;; end precondition constraints
+strlen
+pre:EMPTY
+post:
+C
+0@1@4
+l
+2
+2
+Result
+r
+1
+3
+2
+2
+Param 23 0
+;; end precondition constraints
+asctime
+pre:EMPTY
+post:
+C
+0@1@4
+l
+1
+3
+2
+2
+Result
+r
+2
+3
+25
+C
+0@1@4
+l
+1
+1
+2
+2
+Result
+r
+2
+3
+25
+;; end precondition constraints
+ctime
+pre:EMPTY
+post:
+C
+0@1@4
+l
+1
+3
+2
+2
+Result
+r
+2
+3
+25
+C
+0@1@4
+l
+1
+1
+2
+2
+Result
+r
+2
+3
+25
+;; end precondition constraints
+getpwnam
+pre:EMPTY
+post:
+C
+0@1@4
+l
+1
+1
+2
+2
+Result
+r
+2
+3
+0
+C
+0@1@4
+l
+1
+3
+2
+2
+Result
+r
+2
+3
+0
+;; end precondition constraints
+getpwuid
+pre:EMPTY
+post:
+C
+0@1@4
+l
+1
+1
+2
+2
+Result
+r
+2
+3
+0
+C
+0@1@4
+l
+1
+3
+2
+2
+Result
+r
+2
+3
+0
+;; end precondition constraints
+getcwd
+pre:
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 23 0
+r
+0
+1
+e1
+2
+2
+Param 63 1
+e2
+2
+3
+-1
+;; end precondition constraints
+post:
+C
+0@1@1
+l
+1
+3
+2
+2
+Param 23 0
+r
+0
+1
+e1
+2
+2
+Param 63 1
+e2
+2
+3
+-1
+;; end precondition constraints
+read
+pre:
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 20 1
+r
+0
+1
+e1
+2
+2
+Param 63 2
+e2
+2
+3
+-1
+;; end precondition constraints
+post:
+C
+0@1@3
+l
+1
+3
+2
+2
+Param 20 1
+r
+2
+2
+Param 63 2
+;; end precondition constraints
+regexec
+pre:
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 933 3
+r
+2
+2
+Param 63 2
+;; end precondition constraints
+post:EMPTY
+regerror
+pre:
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 23 2
+r
+2
+2
+Param 63 3
+;; end precondition constraints
+post:EMPTY