(*
    Title: 	UnixProcess - Definitions
    LastEdit:	"Fri Sep  7 17:44:54 1984"
    Author: 	Mick Jordan
		Cambridge University Computer Laboratory
*)

DEFINITION MODULE UnixProcess;

EXPORT QUALIFIED
    Exec, Exit, Fork, Getpid, Kill, Wait;

PROCEDURE Exit(status : INTEGER);	(* there can be no return *)
PROCEDURE Exec(name : ARRAY OF CHAR; 
                  VAR argv : ARRAY OF CARDINAL) : INTEGER;

PROCEDURE Fork() : INTEGER;

PROCEDURE Getpid() : INTEGER;

PROCEDURE Kill(pid : INTEGER; sig : CARDINAL) : INTEGER;

PROCEDURE Wait(VAR status : INTEGER) : INTEGER;

END UnixProcess .
