blackbox-linux-console/BlackBox/Lin/Mod/Obsd.Libc.txt

MODULE LinLibc ["libc.so.66.0"];

	(*
		A. V. Shiryaev, 2012.09

		Based on Linux' LinLibc (OpenBUGS Lin/Mod/Libc.odc)

		OpenBSD 5.2
		32-bit
	*)

	IMPORT SYSTEM;

	CONST
		NULL* = 0H;
		TRUE* = 1;
		FALSE* = 0;

		(* file constants *)
		SEEK_SET* = 0;
		SEEK_CUR* = 1;
		SEEK_END* = 2;
		NAME_MAX* = 255; (* OpenBSD /usr/include/sys/syslimits.h *)

		(* The value of CLOCKS_PER_SEC is required to be 1 million on all   XSI-conformant systems.*)
		CLOCKS_PER_SEC* = 100; (* OpenBSD 5.2 /usr/include/time.h CLOCKS_PER_SEC *)

		(* temp directory defined in stdio.h *)
		P_tmpdir* = "/tmp";

		(* signal constants *)	(* Fake signal functions.  *)
		(* OpenBSD 5.2 /usr/include/sys/signal.h *)
		SIG_ERR* = -1; 	(* Error return.  *)
		SIG_DFL* = 0;   	(* Default action.  *)
		SIG_IGN* = 1;    	(* Ignore signal.  *)
		SIG_HOLD* = 3;	(* Add signal to hold mask.  *) (* OpenBSD 5.2 /usr/include/sys/signalvar.h *)

		(* Signals.  *)
		(* OpenBSD /usr/include/sys/signal.h *)
		_NSIG* = 33; (* counting 0 (mask is 1-32) *)
		SIGHUP* = 1; (* hangup *)
		SIGINT* = 2; (* interrupt *)
		SIGQUIT* = 3; (* quit *)
		SIGILL* = 4; (* illegal instruction (not reset when caught) *)
		SIGTRAP* = 5; (* trace trap (not reset when caught) *)
		SIGABRT* = 6; (* abort() *)
		SIGFPE* = 8; (* floating point exception *)
		SIGKILL* = 9; (* kill (cannot be caught or ignored) *)
		SIGBUS* = 10; (* bus error *)
		SIGSEGV* = 11; (* segmentation violation *)
		SIGSYS* = 12; (* bad argument to system call *)
		SIGPIPE* = 13; (* write on a pipe with no one to read it *)
		SIGALRM* = 14; (* alarm clock *)
		SIGTERM* = 15; (* software termination signal from kill *)
		SIGURG* = 16; (* urgent condition on IO channel *)
		SIGSTOP* = 17; (* sendable stop signal not from tty *)
		SIGTSTP* = 18; (* stop signal from tty *)
		SIGCONT* = 19; (* continue a stopped process *)
		SIGCHLD* = 20; (* to parent on child stop or exit *)
		SIGTTIN* = 21; (* to readers pgrp upon background tty read *)
		SIGTTOU* = 22; (* like TTIN for output if (tp->t_local&LTOSTOP) *)
		SIGXCPU* = 24; (* exceeded CPU time limit *)
		SIGXFSZ* = 25; (* exceeded file size limit *)
		SIGVTALRM* = 26; (* virtual time alarm *)
		SIGPROF* = 27; (* profiling time alarm *)
		SIGUSR1* = 30; (* user defined signal 1 *)
		SIGUSR2* = 31; (* user defined signal 2 *)
		SIGWINCH* = 28; (* window size changes *)


		(* Bits in `sa_flags'.  *)
		SA_NOCLDSTOP* = {3}; 	(* = 1 Don't send SIGCHLD when children stop.  *) (* OpenBSD *)
		SA_NOCLDWAIT* = {5}; 	(* = 2 Don't create zombie on child death.  *) (* OpenBSD *)
		SA_SIGINFO* = {6}; 	(* = 4 Invoke signal-catching function wth three arguments instead of one.  *) (* OpenBSD *)
		SA_ONSTACK* = {0};	(* = 0x08000000 Use signal stack by using `sa_restorer'. *) (* OpenBSD *)
		SA_RESTART* = {1};	(* = 0x10000000 Restart syscall on signal return.  *) (* OpenBSD *)
		SA_NODEFER* = {4};	(* = 0x40000000 Don't automatically block the signal when its handler is being executed. *) (* OpenBSD *)
		SA_RESETHAND* = {2};	(* = 0x80000000 Reset to SIG_DFL on entry to handler.  *) (* OpenBSD *)
		(* SA_INTERRUPT* = {29};	(* = 0x20000000  Historical no-op.  *) *) (* OpenBSD *)
		(* Some aliases for the SA_ constants.  *)
		SA_NOMASK* = SA_NODEFER;
		SA_ONESHOT* = SA_RESETHAND;
		SA_STACK* = SA_ONSTACK;

		(* code values for siginfo_t.si_code when sig = SIGFPE *)
		(* OpenBSD 5.2: OK, the same *)
		FPE_INTDIV* = 1;	(* Integer divide by zero.  *)
		FPE_INTOVF* = 2;	(* Integer overflow.  *)
		FPE_FLTDIV* = 3;	(* Floating point divide by zero.  *)
		FPE_FLTOVF* = 4;	(* Floating point overflow.  *)
		FPE_FLTUND* = 5;	(* Floating point underflow.  *)
		FPE_FLTRES* =6;	(* Floating point inexact result.  *)
		FPE_FLTINV* = 7;	(* Floating point invalid operation.  *)
		FPE_FLTSUB* = 8;	(* Subscript out of range.  *)

		(* possible error constants for errno *)
		(* OpenBSD /usr/include/sys/errno.h *)
		EPERM* = 1; (* Operation not permitted *)
		ENOENT* = 2; (* No such file or directory *)
		ESRCH* = 3; (* No such process *)
		EINTR* = 4; (* Interrupted system call *)
		EIO* = 5; (* Input/output error *)
		ENXIO* = 6; (* Device not configured *)
		E2BIG* = 7; (* Argument list too long *)
		ENOEXEC* = 8; (* Exec format error *)
		EBADF* = 9; (* Bad file descriptor *)
		ECHILD* = 10; (* No child processes *)
		EDEADLK* = 11; (* Resource deadlock avoided *)
		ENOMEM* = 12; (* Cannot allocate memory *)
		EACCES* = 13; (* Permission denied *)
		EFAULT* = 14; (* Bad address *)
		EBUSY* = 16; (* Device busy *)
		EEXIST* = 17; (* File exists *)
		EXDEV* = 18; (* Cross-device link *)
		ENODEV* = 19; (* Operation not supported by device *)
		ENOTDIR* = 20; (* Not a directory *)
		EISDIR* = 21; (* Is a directory *)
		EINVAL* = 22; (* Invalid argument *)
		ENFILE* = 23; (* Too many open files in system *)
		EMFILE* = 24; (* Too many open files *)
		ENOTTY* = 25; (* Inappropriate ioctl for device *)
		ETXTBSY* = 26; (* Text file busy *)
		EFBIG* = 27; (* File too large *)
		ENOSPC* = 28; (* No space left on device *)
		ESPIPE* = 29; (* Illegal seek *)
		EROFS* = 30; (* Read-only file system *)
		EMLINK* = 31; (* Too many links *)
		EPIPE* = 32; (* Broken pipe *)
		EDOM* = 33; (* Numerical argument out of domain *)
		ERANGE* = 34; (* Result too large *)
		EAGAIN* = 35; (* Resource temporarily unavailable *)
		EWOULDBLOCK* = EAGAIN; (* Operation would block *)
		EINPROGRESS* = 36; (* Operation now in progress *)
		EALREADY* = 37; (* Operation already in progress *)
		ENOTSOCK* = 38; (* Socket operation on non-socket *)
		EDESTADDRREQ* = 39; (* Destination address required *)
		EMSGSIZE* = 40; (* Message too long *)
		EPROTOTYPE* = 41; (* Protocol wrong type for socket *)
		ENOPROTOOPT* = 42; (* Protocol not available *)
		EPROTONOSUPPORT* = 43; (* Protocol not supported *)
		EOPNOTSUPP* = 45; (* Operation not supported *)
		EAFNOSUPPORT* = 47; (* Address family not supported by protocol family *)
		EADDRINUSE* = 48; (* Address already in use *)
		EADDRNOTAVAIL* = 49; (* Can't assign requested address *)
		ENETDOWN* = 50; (* Network is down *)
		ENETUNREACH* = 51; (* Network is unreachable *)
		ENETRESET* = 52; (* Network dropped connection on reset *)
		ECONNABORTED* = 53; (* Software caused connection abort *)
		ECONNRESET* = 54; (* Connection reset by peer *)
		ENOBUFS* = 55; (* No buffer space available *)
		EISCONN* = 56; (* Socket is already connected *)
		ENOTCONN* = 57; (* Socket is not connected *)
		ETIMEDOUT* = 60; (* Operation timed out *)
		ECONNREFUSED* = 61; (* Connection refused *)
		ELOOP* = 62; (* Too many levels of symbolic links *)
		ENAMETOOLONG* = 63; (* File name too long *)
		ENOTEMPTY* = 66; (* Directory not empty *)
		EDQUOT* = 69; (* Disk quota exceeded *)
		ESTALE* = 70; (* Stale NFS file handle *)
		ENOLCK* = 77; (* No locks available *)
		ENOSYS* = 78; (* Function not implemented *)
		EILSEQ* = 84; (* Illegal byte sequence *)
		EIDRM* = 89; (* Identifier removed *)
		ENOMSG* = 90; (* No message of desired type *)
		ENOTSUP* = 91; (* Not supported *)


		(* OpenBSD 5.2 /usr/include/i386/setjmp.h *)
		_JBLEN = 10;

		(* OpenBSD 5.2 /usr/include/sys/mman.h *)
		PROT_NONE* = {}; (* no permission *)
		PROT_READ* = {0}; (* pages can be read *)
		PROT_WRITE* = {1}; (* pages can be written *)
		PROT_EXEC* = {2}; (* pages can be executed *)

		(* OpenBSD 5.2 /usr/include/i386/param.h *)
		PAGE_SHIFT* = 12;
		PAGE_SIZE* = 4096; (* LSL(1, PAGE_SHIFT) *)
		PAGE_MASK* = PAGE_SIZE - 1;

	TYPE
		(* OpenBSD OK *)
		__ftw_func_t* = PROCEDURE (fileName: PtrSTR; VAR [nil] stat: stat_t; flag: INTEGER): INTEGER; (* OpenBSD 5.2: OK *)
		PtrVoid* = INTEGER;
		PtrSTR* = POINTER TO ARRAY [untagged] OF SHORTCHAR;
		PtrWSTR* = POINTER TO ARRAY [untagged] OF CHAR;
		PtrInt* = INTEGER;
		StrArray* = POINTER TO ARRAY [untagged] OF PtrSTR;
		PtrFILE* = INTEGER;
		PtrDIR* = INTEGER;
		PtrProc* = INTEGER;
		clock_t* = INTEGER; (* OpenBSD 5.2 /usr/include/i386/_types.h: 32-bit *)

		(* jmp_buf* = ARRAY [untagged] 6 OF INTEGER; (* bx, si, di, bp, sp, pc *) *)
		jmp_buf* = ARRAY [untagged] _JBLEN OF INTEGER; (* OpenBSD 5.2 *)

		mode_t* = SET; (* OpenBSD 5.2: 32-bit *)
		off_t* = LONGINT; (* OpenBSD 5.2: 64-bit *)

		SelectorFunc* = PROCEDURE (dirent: Dirent): INTEGER; (* OpenBSD 5.2: OK *)
		CmpFunc* = PROCEDURE (VAR [nil] dirent1, dirent2: PtrDirent): INTEGER; (* OpenBSD 5.2: OK *)

		size_t* = INTEGER; (* should be unsigned int *) (* OpenBSD 5.2: /usr/include/i386/_types.h: 32-bit *)

		sigjmp_buf* = RECORD [untagged] (* OpenBSD 5.2 *)
			buf*: jmp_buf;

			(* mask_was_saved*: INTEGER;
			saved_mask*: sigset_t; *) (* OpenBSD *)

			xxx: INTEGER;
		END;

		PtrDirent* = POINTER TO Dirent;
		PtrDirentArray* = POINTER TO ARRAY [untagged] OF Dirent;

		Dirent* = RECORD  [untagged] (* OpenBSD 5.2 /usr/include/sys/dirent.h *)
			(*
			d_ino*: INTEGER;	(* inode number *)
			d_off*: off_t;	(* offset to this dirent *)
			d_reclen*: SHORTINT;	(* length of this d_name *)
			d_type*: BYTE;
			d_name*: ARRAY[untagged]  NAME_MAX+1 OF SHORTCHAR;		(* file name (null-terminated) *)
			*)

			d_fileno*: INTEGER;
			d_reclen*: SHORTINT;
			d_type*: BYTE;
			d_namlen*: BYTE;
			d_name*: ARRAY [untagged] NAME_MAX + 1 (* 256 *) OF SHORTCHAR;
		END;

		pid_t* = INTEGER; (* OpenBSD 5.2: 32-bit *)
		uid_t* = INTEGER; (* OpenBSD 5.2: 32-bit *)

		sigval_t* = INTEGER; (* OpenBSD: 32-bit (union sigval) *)

		siginfo_t* = RECORD [untagged] (* OpenBSD 5.2 /usr/include/sys/siginfo.h *)
			si_signo*: INTEGER; 	(* Signal number *) (* OpenBSD: 32-bit *)
			si_code*: INTEGER;   	(* Signal code *) (* OpenBSD: 32-bit *)
			si_errno*: INTEGER;  	(* An errno value *) (* OpenBSD: 32-bit *)

			(* OpenBSD 5.2: 29 * 4 B below *)

			si_pid*: pid_t;    	(* Sending process ID *)
			si_uid*: uid_t;    	(* Real user ID of sending process *)
			si_status*: INTEGER; 	(* Exit value or signal *) (* OpenBSD 5.2: 32-bit *)

			(* si_utime*: clock_t;  	(* User time consumed *) *) (* OpenBSD: XXX *)
			si_stime*: clock_t;  	(* System time consumed *)
			(* si_value*: sigval_t;  	(* Signal value *) *) (* OpenBSD: XXX *)
			(* si_int*: INTEGER;    	(* POSIX.1b signal *) *) (* OpenBSD: XXX *)
			(* si_ptr*: PtrVoid;    	(* POSIX.1b signal *) *) (* OpenBSD: XXX *)
			(* si_addr*: PtrVoid;   	(* Memory location which caused fault *) *) (* OpenBSD: XXX *)
			(* si_band*: INTEGER;   	(* Band event *) *) (* OpenBSD: XXX *)
			(* si_fd*: INTEGER;     	(* File descriptor *) *) (* OpenBSD: XXX *)

			xxx: ARRAY [untagged] 25 OF INTEGER; (* OpenBSD *)
		END;
		Ptrsiginfo_t* = POINTER TO siginfo_t;

		(* sigset_t* = ARRAY [untagged] 128 OF BYTE; *)
		sigset_t* = ARRAY [untagged] 4 OF BYTE; (* OpenBSD 5.2 /usr/include/sys/signal.h *)

		Ptrsigset_t* = INTEGER;
		sigaction_t* = RECORD [untagged] (* OpenBSD 5.2 /usr/include/sys/signal.h *)
			sa_sigaction*: PROCEDURE (sig: INTEGER; siginfo: Ptrsiginfo_t; ptr: Ptrucontext_t); (* union with sa_handler*: PtrProc;*)
			sa_mask*: sigset_t;
			sa_flags*: SET;
			(* sa_restorer*: LONGINT; *) (* OpenBSD *)
		END;

		stack_t* = RECORD [untagged] (* OpenBSD 5.2 /usr/include/sys/signal.h *)
			ss_sp*: PtrVoid;
			ss_size*: size_t; (* OpenBSD *)
			ss_flags*: INTEGER; (* OpenBSD *)
		END;

		dev_t* = INTEGER; (* OpenBSD: 32-bit *)
		gid_t* = INTEGER; (* OpenBSD: 32-bit *)

		stat_t* = RECORD [untagged] (* OpenBSD 5.2 /usr/include/sys/stat.h *)
			st_dev*: dev_t;	(* device *) (* OpenBSD: 32-bit *)
			(* __pad1: SHORTINT; *) (* OpenBSD *)
			st_ino*: INTEGER;	(* 64? inode *) (* OpenBSD: 32-bit *)
			st_mode*: mode_t;	(* protection *) (* OpenBSD: 32-bit *)
			st_nlink*: INTEGER; 	(* number of hard links *) (* OpenBSD: 32-bit *)
			st_uid*: uid_t;	(* user ID of owner *) (* OpenBSD: 32-bit *)
			st_gid*: gid_t;	(* group ID of owner *) (* OpenBSD: 32-bit *)
			st_rdev*: dev_t;	(* device type (if inode device) *) (* OpenBSD: 32-bit *)
			st_lspare0*: INTEGER; (* OpenBSD *)
			(* __pad2: SHORTINT; *) (* OpenBSD *)

			(* OpenBSD *)
			st_atime*: time_t;
			st_atimensec*: INTEGER;
			st_mtime*: time_t;
			st_mtimensec*: INTEGER;
			st_ctime*: time_t;
			st_ctimensec*: INTEGER;

			st_size*: off_t;	(* 64? total size, in bytes *) (* OpenBSD *)
			st_blocks*: LONGINT; (* OpenBSD: 64-bit *)
			st_blksize*: INTEGER;	(* blocksize for filesystem I/O *)
			(* st_blocks*: INTEGER;	(* 64? number of blocks allocated *) *) (* OpenBSD *)
			st_flags*: INTEGER; (* OpenBSD: 32-bit *)
			st_gen*: INTEGER; (* OpenBSD: 32-bit *)
			st_lspare1*: INTEGER; (* OpenBSD: 32-bit *)

			(* OpenBSD
			st_atime*: INTEGER;	(* time of last access *)
			__unused1:  INTEGER;
			st_mtime*: INTEGER;	(* time of last modification *)
			__unused2:  INTEGER;
			st_ctime*: INTEGER;	(* time of last change *)
			__unused3:  INTEGER;
			__unused4:  INTEGER;
			__unused5:  INTEGER;
			*)

			(* OpenBSD *)
			__st_birthtime*: time_t;
			__st_birthtimensec*: INTEGER;
			st_qspare*: ARRAY [untagged] 2 OF LONGINT;
		END;

		(* OpenBSD
		fpreg* = RECORD [untagged]
			significand*: ARRAY [untagged] 4 OF CHAR;
			exponent*: CHAR;
		END;
		*)

		(* OpenBSD *)
		(*
		fpstate* = RECORD [untagged]
			cw*: INTEGER; 	(* unsigned long int *)
			sw*: INTEGER; 	(* unsigned long int *)
			tag*: INTEGER; 	(* unsigned long int *)
			ipoff*: INTEGER; 	(* unsigned long int *)
			cssel*: INTEGER; 	(* unsigned long int *)
			dataoff*: INTEGER; 	(* unsigned long int *)
			datasel*: INTEGER; 	(* unsigned long int *)
			_st: ARRAY [untagged] 8 OF fpreg;
			status*: INTEGER; 	(* unsigned long int *)
		END;
		*)
		envxmm* = RECORD [untagged] (* OpenBSD 5.2 /usr/include/i386/npx.h *)
			(*0*)
				en_cw*: SHORTINT; (* FPU Control Word *)
				en_sw*: SHORTINT; (* FPU Status Word *)
				en_tw*: BYTE; (* FPU Tag Word (abridged) *)
				en_rsvd0*: BYTE;
				en_opcode*: SHORTINT; (* FPU Opcode *)
				en_fip*: INTEGER; (* FPU Instruction Pointer *)
				en_fcs*: SHORTINT; (* FPU IP selector *)
				en_rsvd1*: SHORTINT;
			(*16*)
				en_foo*: INTEGER; (* FPU Data pointer *)
				en_fos*: SHORTINT; (* FPU Data pointer selector *)
				en_rsvd2*: SHORTINT;
				en_mxcsr*: INTEGER; (* MXCSR Register State *)
				en_mxcsr_mask*: INTEGER; (* Mask for valid MXCSR bits (may be 0) *)
		END;
		(* FPU regsters in the extended save format. *)
		fpaccxmm* = RECORD [untagged] (* OpenBSD 5.2 /usr/include/i386/npx.h *)
			fp_bytes*: ARRAY [untagged] 10 OF BYTE;
			fp_rsvd*: ARRAY [untagged] 6 OF BYTE;
		END;
		(* SSE/SSE2 registers. *)
		xmmreg* = RECORD [untagged] (* OpenBSD 5.2 /usr/include/i386/npx.h *)
			sse_bytes*: ARRAY [untagged] 16 OF BYTE;
		END;
		fpstate* = RECORD [untagged] (* OpenBSD 5.2 /usr/include/i386/npx.h savefpu.savexmm *)
			sv_env*: envxmm; (* control/status context *)
			sv_ac*: ARRAY [untagged] 8 OF fpaccxmm; (* ST/MM regs *)
			sv_xmmregs*: ARRAY [untagged] 8 OF xmmreg; (* XMM regs *)
			sv_rsvd*: ARRAY [untagged] 16 * 14 OF BYTE;
			(* 512-bytes --- end of hardware portion of save area *)
			sv_ex_sw*: INTEGER; (* saved SW from last exception *)
			sv_ex_tw*: INTEGER; (* saved TW from last exception *)
		END;

		(* OpenBSD
		gregset_t* = ARRAY [untagged] 19 OF INTEGER;
		*)
		fpregset_t* = POINTER TO fpstate;

		(* OpenBSD
		mcontext_t*  = RECORD [untagged]
			gregs*: gregset_t;
			fpregs*: fpregset_t;
			oldmask*: INTEGER;	(* unsigned long int *)
			cr2*: INTEGER; 	(* unsigned long int *)
		END;
		*)

		Ptrucontext_t* = POINTER TO ucontext_t;
		ucontext_t* = RECORD [untagged] (* OpenBSD 5.2 /usr/include/i386/signal.h struct sigcontext *)
			(*
			uc_flags*: INTEGER;	(* unsigned long int *)
			uc_link*: Ptrucontext_t;
			uc_stack*: stack_t;
			uc_mcontext*: mcontext_t;
			uc_sigmask: sigset_t;
			__fpregs_mem*: fpstate;
			*)

			sc_gs*: INTEGER;
			sc_fs*: INTEGER;
			sc_es*: INTEGER;
			sc_ds*: INTEGER;
			sc_edi*: INTEGER;
			sc_esi*: INTEGER;
			sc_ebp*: INTEGER;
			sc_ebx*: INTEGER;
			sc_edx*: INTEGER;
			sc_ecx*: INTEGER;
			sc_eax*: INTEGER;
			(* XXX *)
			sc_eip*: INTEGER;
			sc_cs*: INTEGER;
			sc_eflags*: INTEGER;
			sc_esp*: INTEGER;
			sc_ss*: INTEGER;

			sc_onstack*: INTEGER; (* sigstack state to restore *)
			sc_mask*: INTEGER; (* signal mask to restore *)
			sc_trapno*: INTEGER; (* XXX should be above *)
			sc_err*: INTEGER;

			sc_fpstate*: fpregset_t; (* POINTER TO savefpu *)
		END;

		(* Times and Dates *)

		tm* = POINTER TO tmDesc;
		tmDesc* = RECORD [untagged] (* OpenBSD 5.2 /usr/include/time.h *)
			tm_sec*: INTEGER;	(* seconds *)
			tm_min*: INTEGER;	(* minutes *)
			tm_hour*: INTEGER;	(* hours *)
			tm_mday*: INTEGER;	(* day of the month *)
			tm_mon*: INTEGER;	(* month *)
			tm_year*: INTEGER;	(* year *)
			tm_wday*: INTEGER;	(* day of the week *)
			tm_yday*: INTEGER;	(* day in the year *)
			tm_isdst*: INTEGER;	(* daylight saving time *)

			tm_gmtoff*: INTEGER; (* OpenBSD *)
			tm_zone*: PtrSTR; (* OpenBSD *)
		END;

		time_t* = INTEGER; (* OpenBSD 5.2 /usr/include/i386/_types.h: 32-bit *)

	VAR
		(* timezone*: INTEGER; (* seconds from GMT *) *) (* OpenBSD *)
		stdin*, stdout*, stderr* : PtrFILE; (* OpenBSD: wrapper *)

	PROCEDURE [ccall] calloc* (nmemb, size: size_t): PtrVoid;
	PROCEDURE [ccall] clock* (): clock_t;

	PROCEDURE [ccall] closedir* (dir: PtrDIR): INTEGER;

	PROCEDURE [ccall] chmod* (path: PtrSTR; mode: mode_t);
	PROCEDURE [ccall] exit* (status: INTEGER);

	PROCEDURE [ccall] fclose* (fp: PtrFILE): INTEGER;
	PROCEDURE [ccall] fflush* (fp: PtrFILE): INTEGER;
	PROCEDURE [ccall] fopen* (filename, mode: PtrSTR): PtrFILE;
	PROCEDURE [ccall] feof* (fp: PtrFILE): INTEGER;
	PROCEDURE [ccall] fread* (ptr: PtrVoid; size, nmemb: size_t; stream: PtrFILE): size_t;
	PROCEDURE [ccall] fseek* (stream: PtrFILE; offset, origin: INTEGER): INTEGER;
	PROCEDURE [ccall] free* (p: PtrVoid);

	PROCEDURE [ccall] ftell* (stream: PtrFILE): (* LONGINT; *) INTEGER; (* OpenBSD 5.2 *)

	PROCEDURE [ccall] ftw* (filename: PtrSTR; func: __ftw_func_t; maxfds: INTEGER): INTEGER;
	PROCEDURE [ccall] fwrite* (ptr: PtrVoid; size, nmemb: size_t; stream: PtrFILE): size_t;
	PROCEDURE [ccall] getcwd* (buf: PtrSTR; size: size_t): PtrSTR;

	(* PROCEDURE [ccall] getcontext* (ucontext_t: Ptrucontext_t): INTEGER; *) (* OpenBSD *)

	(* PROCEDURE [ccall] gets* (s: PtrSTR); *)
	PROCEDURE [ccall] gets* (s: PtrSTR): PtrSTR; (* OpenBSD 5.2 *)

	PROCEDURE [ccall] fgets* (s: PtrSTR; n: INTEGER; fp: PtrFILE): PtrSTR;
	PROCEDURE [ccall] gmtime* (VAR timep: time_t): tm;
	PROCEDURE [ccall] kill* (pid: pid_t; sig: INTEGER): INTEGER;
	PROCEDURE [ccall] localtime* (VAR timep: time_t): tm;
	PROCEDURE [ccall] malloc* (size: size_t): PtrVoid;
	PROCEDURE [ccall] mkdir* (path: PtrSTR; mode: mode_t): INTEGER;
	PROCEDURE [ccall] mktime* (timeptr: tm): time_t;
	PROCEDURE [ccall] opendir* (filename: PtrSTR): PtrDIR;
	PROCEDURE [ccall] printf* (s: PtrSTR): INTEGER;
	PROCEDURE [ccall] readdir* (dir: PtrDIR): PtrDirent;
	PROCEDURE [ccall] remove* (path: PtrSTR): INTEGER;
	PROCEDURE [ccall] rename* (from, to: PtrSTR): INTEGER;
	PROCEDURE [ccall] scandir* (dir: PtrDIR; namelist: PtrDirentArray; selector: SelectorFunc; cmp: CmpFunc): INTEGER;

	(* PROCEDURE [ccall] setcontext* (ucontext_t: Ptrucontext_t): INTEGER; *) (* OpenBSD *)

	PROCEDURE [ccall] setjmp* (VAR env: jmp_buf): INTEGER;
	PROCEDURE [ccall] sigaction* (sig_num: INTEGER; VAR [nil] act: sigaction_t; VAR [nil] oldact: sigaction_t): INTEGER;
	PROCEDURE [ccall] sigaddset* (set: Ptrsigset_t; sig: INTEGER): INTEGER;
	PROCEDURE [ccall] sigdelset* (set: Ptrsigset_t; sig: INTEGER): INTEGER;
	PROCEDURE [ccall] sigemptyset* (set: Ptrsigset_t): INTEGER;
	PROCEDURE [ccall] sigfillset* (set: Ptrsigset_t): INTEGER;
	PROCEDURE [ccall] sigismemeber* (set: Ptrsigset_t; sig: INTEGER): INTEGER;
	PROCEDURE [ccall] siglongjmp* (VAR env: sigjmp_buf; val: INTEGER);

	PROCEDURE [ccall] signal* (sig_num: INTEGER; sighandler: PtrProc): PtrProc;
	(* PROCEDURE [ccall] sigsetjmp* ["__sigsetjmp"] (VAR env: sigjmp_buf; savemask: INTEGER): INTEGER; *)
	PROCEDURE [ccall] sigsetjmp* (VAR env: sigjmp_buf; savemask: INTEGER): INTEGER; (* OpenBSD *)

(*
	PROCEDURE [ccall] stat* (filename: PtrSTR; VAR buf: stat_t): INTEGER;   stat is a macro and expands to __xstat(3, filename, buf)
*)
	(* OpenBSD: wrapper *)
	PROCEDURE [ccall] __xstat* (version: INTEGER; filename: PtrSTR; VAR buf: stat_t): INTEGER;

	PROCEDURE [ccall] strftime* (s: PtrSTR; max: size_t; format: PtrSTR; ptm: tm): size_t;
	PROCEDURE [ccall] time* (VAR [nil] t: time_t): time_t;

	(* OpenBSD: wrapper *)
	PROCEDURE [ccall] __errno_location*(): INTEGER;

	(* OpenBSD *)
	PROCEDURE [ccall] mprotect* (addr: PtrVoid; len: size_t; prot: SET): INTEGER;

END LinLibc.