Bindings for libc.
We consider the following specs reasonably normative with respect to interoperating with the C standard library (libc/msvcrt):
Despite having several names each, these are reasonably coherent point-in-time, list-of-definition sorts of specs. You can get each under a variety of names but will wind up with the same definition in each case.
Our interface to these libraries is complicated by the non-universality of conformance to any of them. About the only thing universally supported is the first (C95), beyond that definitions quickly become absent on various platforms.
We therefore wind up dividing our module-space up (mostly for the sake of sanity while editing, filling-in-details and eliminating duplication) into definitions common-to-all (held in modules named c95, c99, posix88, posix01 and posix08) and definitions that appear only on some platforms (named 'extra'). This would be things like significant OSX foundation kit, or win32 library kernel32.dll, or various fancy glibc, linux or BSD extensions.
In addition to the per-platform 'extra' modules, we define a module of 'common BSD' libc routines that never quite made it into POSIX but show up in multiple derived systems. This is the 4.4BSD r2 / 1995 release, the final one from Berkeley after the lawsuits died down and the CSRG dissolved.
BUFSIZEOFEXIT_FAILUREEXIT_SUCCESSFILENAME_MAXFOPEN_MAXF_OKL_tmpnamO_APPENDO_CREATO_EXCLO_RDONLYO_RDWRO_TRUNCO_WRONLYRAND_MAXR_OKSEEK_CURSEEK_ENDSEEK_SETSTDERR_FILENOSTDIN_FILENOSTDOUT_FILENOS_IEXECS_IFBLKS_IFCHRS_IFDIRS_IFIFOS_IFMTS_IFREGS_IREADS_IRUSRS_IRWXUS_IWRITES_IWUSRS_IXUSRTMP_MAXW_OKX_OK_IOFBF_IOLBF_IONBFc_charc_doublec_floatc_intc_longc_longlongc_scharc_shortc_ucharc_uintc_ulongc_ulonglongc_ushortclock_tdev_tino_tintptr_tmode_toff_tpid_tptrdiff_tsize_tssize_ttime_tuintptr_tDIRFILEc_voiddirentfpos_tabortabsaccessatofatoicallocchdirchmodclosecreatdupdup2execvexecveexecvpexitfclosefdopenfeofferrorfflushfgetcfgetposfgetsfilenofopenfputcfputsfreadfreefreopenfseekfsetposftellfwritegetcwdgetenvgetpidisalnumisalphaisattyiscntrlisdigitislowerisprintispunctisspaceisupperisxdigitlabslseekmallocmemchrmemcmpmemcpymemmovememsetmkdiropenpcloseperrorpipepopenputsrandreadreallocremoverewindrmdirsetbufsetvbufsrandstrcatstrchrstrcmpstrcollstrcpystrcspnstrerrorstrlenstrncatstrncmpstrncpystrpbrkstrrchrstrspnstrstrstrtodstrtokstrtolstrtoulstrxfrmsystemtmpfiletolowertoupperungetcunlinkwritelibc::constslibc::funcslibc::typesBUFSIZuintEOFintEXIT_FAILUREintEXIT_SUCCESSintFILENAME_MAXuintFOPEN_MAXuintF_OKintL_tmpnamuintO_APPENDintO_CREATintO_EXCLintO_RDONLYintO_RDWRintO_TRUNCintO_WRONLYintRAND_MAXintR_OKintSEEK_CURintSEEK_ENDintSEEK_SETintSTDERR_FILENOintSTDIN_FILENOintSTDOUT_FILENOintS_IEXECintS_IFBLKintS_IFCHRintS_IFDIRintS_IFIFOintS_IFMTintS_IFREGintS_IREADintS_IRUSRintS_IRWXUintS_IWRITEintS_IWUSRintS_IXUSRintTMP_MAXuintW_OKintX_OKint_IOFBFint_IOLBFint_IONBFintc_chartype c_char = i8c_doubletype c_double = f64c_floattype c_float = f32c_inttype c_int = i32c_longtype c_long = i64c_longlongtype c_longlong = i64c_schartype c_schar = i8c_shorttype c_short = i16c_uchartype c_uchar = u8c_uinttype c_uint = u32c_ulongtype c_ulong = u64c_ulonglongtype c_ulonglong = u64c_ushorttype c_ushort = u16clock_ttype clock_t = i64dev_ttype dev_t = u64ino_ttype ino_t = u64intptr_ttype intptr_t = intmode_ttype mode_t = u32off_ttype off_t = i64pid_ttype pid_t = i32ptrdiff_ttype ptrdiff_t = i64size_ttype size_t = u64ssize_ttype ssize_t = i64time_ttype time_t = i64uintptr_ttype uintptr_t = uintDIRFILEc_voiddirentfpos_tabortfn abort() -> !absfn abs(i: c_int) -> c_intaccessfn access(path: *c_char, amode: c_int) -> c_intatoffn atof(s: *c_char) -> c_doubleatoifn atoi(s: *c_char) -> c_intcallocfn calloc(nobj: size_t, size: size_t) -> *c_voidchdirfn chdir(dir: *c_char) -> c_intchmodfn chmod(path: *c_char, mode: mode_t) -> c_intclosefn close(fd: c_int) -> c_intcreatfn creat(path: *c_char, mode: mode_t) -> c_intdupfn dup(fd: c_int) -> c_intdup2fn dup2(src: c_int, dst: c_int) -> c_intexecvfn execv(prog: *c_char, argv: **c_char) -> c_intexecvefn execve(prog: *c_char, argv: **c_char, envp: **c_char) -> c_intexecvpfn execvp(c: *c_char, argv: **c_char) -> c_intexitfn exit(status: c_int) -> !fclosefn fclose(file: *FILE) -> c_intfdopenfn fdopen(fd: c_int, mode: *c_char) -> *FILEfeoffn feof(stream: *FILE) -> c_intferrorfn ferror(stream: *FILE) -> c_intfflushfn fflush(file: *FILE) -> c_intfgetcfn fgetc(stream: *FILE) -> c_intfgetposfn fgetpos(stream: *FILE, ptr: *fpos_t) -> c_intfgetsfn fgets(buf: *mut c_char, n: c_int, stream: *FILE) -> *c_charfilenofn fileno(stream: *FILE) -> c_intfopenfn fopen(filename: *c_char, mode: *c_char) -> *FILEfputcfn fputc(c: c_int, stream: *FILE) -> c_intfputsfn fputs(s: *c_char, stream: *FILE) -> *c_charfreadfn fread(ptr: *mut c_void, size: size_t, nobj: size_t, stream: *FILE) ->
size_tfreefn free(p: *c_void)freopenfn freopen(filename: *c_char, mode: *c_char, file: *FILE) -> *FILEfseekfn fseek(stream: *FILE, offset: c_long, whence: c_int) -> c_intfsetposfn fsetpos(stream: *FILE, ptr: *fpos_t) -> c_intftellfn ftell(stream: *FILE) -> c_longfwritefn fwrite(ptr: *c_void, size: size_t, nobj: size_t, stream: *FILE) -> size_tgetcwdfn getcwd(buf: *c_char, size: size_t) -> *c_chargetenvfn getenv(s: *c_char) -> *c_chargetpidfn getpid() -> pid_tisalnumfn isalnum(c: c_int) -> c_intisalphafn isalpha(c: c_int) -> c_intisattyfn isatty(fd: c_int) -> c_intiscntrlfn iscntrl(c: c_int) -> c_intisdigitfn isdigit(c: c_int) -> c_intislowerfn islower(c: c_int) -> c_intisprintfn isprint(c: c_int) -> c_intispunctfn ispunct(c: c_int) -> c_intisspacefn isspace(c: c_int) -> c_intisupperfn isupper(c: c_int) -> c_intisxdigitfn isxdigit(c: c_int) -> c_intlabsfn labs(i: c_long) -> c_longlseekfn lseek(fd: c_int, offset: off_t, whence: c_int) -> off_tmallocfn malloc(size: size_t) -> *c_voidmemchrfn memchr(cx: *c_void, c: c_int, n: size_t) -> *c_voidmemcmpfn memcmp(cx: *c_void, ct: *c_void, n: size_t) -> c_intmemcpyfn memcpy(s: *c_void, ct: *c_void, n: size_t) -> *c_voidmemmovefn memmove(s: *c_void, ct: *c_void, n: size_t) -> *c_voidmemsetfn memset(s: *c_void, c: c_int, n: size_t) -> *c_voidmkdirfn mkdir(path: *c_char, mode: mode_t) -> c_intopenfn open(path: *c_char, oflag: c_int, mode: c_int) -> c_intpclosefn pclose(stream: *FILE) -> c_intperrorfn perror(s: *c_char)pipefn pipe(fds: *mut c_int) -> c_intpopenfn popen(command: *c_char, mode: *c_char) -> *FILEputsfn puts(s: *c_char) -> c_intrandfn rand() -> c_intreadfn read(fd: c_int, buf: *mut c_void, count: size_t) -> ssize_treallocfn realloc(p: *c_void, size: size_t) -> *c_voidremovefn remove(filename: *c_char) -> c_intrewindfn rewind(stream: *FILE)rmdirfn rmdir(path: *c_char) -> c_intsetbuffn setbuf(stream: *FILE, buf: *c_char)setvbuffn setvbuf(stream: *FILE, buffer: *c_char, mode: c_int, size: size_t) -> c_intsrandfn srand(seed: c_uint)strcatfn strcat(s: *c_char, ct: *c_char) -> *c_charstrchrfn strchr(cs: *c_char, c: c_int) -> *c_charstrcmpfn strcmp(cs: *c_char, ct: *c_char) -> c_intstrcollfn strcoll(cs: *c_char, ct: *c_char) -> c_intstrcpyfn strcpy(dst: *c_char, src: *c_char) -> *c_charstrcspnfn strcspn(cs: *c_char, ct: *c_char) -> size_tstrerrorfn strerror(n: c_int) -> *c_charstrlenfn strlen(cs: *c_char) -> size_tstrncatfn strncat(s: *c_char, ct: *c_char, n: size_t) -> *c_charstrncmpfn strncmp(cs: *c_char, ct: *c_char, n: size_t) -> c_intstrncpyfn strncpy(dst: *c_char, src: *c_char, n: size_t) -> *c_charstrpbrkfn strpbrk(cs: *c_char, ct: *c_char) -> *c_charstrrchrfn strrchr(cs: *c_char, c: c_int) -> *c_charstrspnfn strspn(cs: *c_char, ct: *c_char) -> size_tstrstrfn strstr(cs: *c_char, ct: *c_char) -> *c_charstrtodfn strtod(s: *c_char, endp: **c_char) -> c_doublestrtokfn strtok(s: *c_char, t: *c_char) -> *c_charstrtolfn strtol(s: *c_char, endp: **c_char, base: c_int) -> c_longstrtoulfn strtoul(s: *c_char, endp: **c_char, base: c_int) -> c_ulongstrxfrmfn strxfrm(s: *c_char, ct: *c_char, n: size_t) -> size_tsystemfn system(s: *c_char) -> c_inttmpfilefn tmpfile() -> *FILEtolowerfn tolower(c: c_char) -> c_chartoupperfn toupper(c: c_char) -> c_charungetcfn ungetc(c: c_int, stream: *FILE) -> c_intunlinkfn unlink(c: *c_char) -> c_intwritefn write(fd: c_int, buf: *c_void, count: size_t) -> ssize_t