| 
									
										
										
										
											2008-12-08 17:02:31 -05:00
										 |  |  | ! Copyright (C) 2005, 2008 Slava Pestov. | 
					
						
							| 
									
										
										
										
											2009-01-18 18:28:36 -05:00
										 |  |  | ! Copyright (C) 2008 Eduardo Cavazos. | 
					
						
							| 
									
										
										
										
											2007-09-20 18:09:08 -04:00
										 |  |  | ! See http://factorcode.org/license.txt for BSD license. | 
					
						
							| 
									
										
										
										
											2008-10-06 19:02:07 -04:00
										 |  |  | USING: alien alien.c-types alien.syntax kernel libc | 
					
						
							| 
									
										
										
										
											2008-10-05 16:23:04 -04:00
										 |  |  | sequences continuations byte-arrays strings math namespaces | 
					
						
							| 
									
										
										
										
											2008-12-17 19:10:01 -05:00
										 |  |  | system combinators vocabs.loader accessors | 
					
						
							| 
									
										
										
										
											2008-10-05 16:23:04 -04:00
										 |  |  | stack-checker macros locals generalizations unix.types | 
					
						
							| 
									
										
										
										
											2009-05-14 17:54:16 -04:00
										 |  |  | io vocabs ;
 | 
					
						
							| 
									
										
										
										
											2008-02-28 13:46:01 -05:00
										 |  |  | IN: unix | 
					
						
							| 
									
										
										
										
											2008-02-26 21:59:46 -05:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2008-12-15 23:21:56 -05:00
										 |  |  | CONSTANT: PROT_NONE   0
 | 
					
						
							|  |  |  | CONSTANT: PROT_READ   1
 | 
					
						
							|  |  |  | CONSTANT: PROT_WRITE  2
 | 
					
						
							|  |  |  | CONSTANT: PROT_EXEC   4
 | 
					
						
							|  |  |  |                         | 
					
						
							|  |  |  | CONSTANT: MAP_FILE    0
 | 
					
						
							|  |  |  | CONSTANT: MAP_SHARED  1
 | 
					
						
							|  |  |  | CONSTANT: MAP_PRIVATE 2
 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2009-02-07 01:59:50 -05:00
										 |  |  | CONSTANT: SEEK_SET 0
 | 
					
						
							|  |  |  | CONSTANT: SEEK_CUR 1
 | 
					
						
							|  |  |  | CONSTANT: SEEK_END 2
 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2008-12-15 23:21:56 -05:00
										 |  |  | : MAP_FAILED ( -- alien ) -1 <alien> ; inline
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | CONSTANT: NGROUPS_MAX 16
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | CONSTANT: DT_UNKNOWN   0
 | 
					
						
							|  |  |  | CONSTANT: DT_FIFO      1
 | 
					
						
							|  |  |  | CONSTANT: DT_CHR       2
 | 
					
						
							|  |  |  | CONSTANT: DT_DIR       4
 | 
					
						
							|  |  |  | CONSTANT: DT_BLK       6
 | 
					
						
							|  |  |  | CONSTANT: DT_REG       8
 | 
					
						
							|  |  |  | CONSTANT: DT_LNK      10
 | 
					
						
							|  |  |  | CONSTANT: DT_SOCK     12
 | 
					
						
							|  |  |  | CONSTANT: DT_WHT      14
 | 
					
						
							| 
									
										
										
										
											2008-11-19 17:22:42 -05:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2008-05-10 13:21:38 -04:00
										 |  |  | C-STRUCT: group | 
					
						
							|  |  |  |     { "char*" "gr_name" } | 
					
						
							|  |  |  |     { "char*" "gr_passwd" } | 
					
						
							|  |  |  |     { "int" "gr_gid" } | 
					
						
							|  |  |  |     { "char**" "gr_mem" } ;
 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2008-05-14 01:44:27 -04:00
										 |  |  | LIBRARY: libc | 
					
						
							| 
									
										
										
										
											2008-05-12 18:11:40 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2008-05-14 01:44:27 -04:00
										 |  |  | FUNCTION: char* strerror ( int errno ) ;
 | 
					
						
							| 
									
										
										
										
											2007-09-20 18:09:08 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2008-05-21 16:54:02 -04:00
										 |  |  | ERROR: unix-error errno message ;
 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2009-02-06 19:22:28 -05:00
										 |  |  | : (io-error) ( -- * ) errno dup strerror unix-error ;
 | 
					
						
							| 
									
										
										
										
											2008-05-21 16:54:02 -04:00
										 |  |  | 
 | 
					
						
							|  |  |  | : io-error ( n -- ) 0 < [ (io-error) ] when ;
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | ERROR: unix-system-call-error args errno message word ;
 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2008-05-14 01:44:27 -04:00
										 |  |  | MACRO:: unix-system-call ( quot -- )
 | 
					
						
							|  |  |  |     [let | n [ quot infer in>> ] | 
					
						
							|  |  |  |            word [ quot first ] | | 
					
						
							|  |  |  |         [ | 
					
						
							|  |  |  |             n ndup quot call dup 0 < [ | 
					
						
							|  |  |  |                 drop
 | 
					
						
							|  |  |  |                 n narray | 
					
						
							| 
									
										
										
										
											2009-02-06 19:22:28 -05:00
										 |  |  |                 errno dup strerror | 
					
						
							| 
									
										
										
										
											2008-05-14 01:44:27 -04:00
										 |  |  |                 word unix-system-call-error | 
					
						
							|  |  |  |             ] [ | 
					
						
							|  |  |  |                 n nnip | 
					
						
							|  |  |  |             ] if
 | 
					
						
							|  |  |  |         ] | 
					
						
							|  |  |  |     ] ;
 | 
					
						
							| 
									
										
										
										
											2007-09-20 18:09:08 -04:00
										 |  |  | 
 | 
					
						
							|  |  |  | FUNCTION: int accept ( int s, void* sockaddr, socklen_t* socklen ) ;
 | 
					
						
							|  |  |  | FUNCTION: int bind ( int s, void* name, socklen_t namelen ) ;
 | 
					
						
							|  |  |  | FUNCTION: int chdir ( char* path ) ;
 | 
					
						
							| 
									
										
										
										
											2008-10-07 14:16:18 -04:00
										 |  |  | FUNCTION: int chmod ( char* path, mode_t mode ) ;
 | 
					
						
							|  |  |  | FUNCTION: int fchmod ( int fd, mode_t mode ) ;
 | 
					
						
							| 
									
										
										
										
											2007-09-20 18:09:08 -04:00
										 |  |  | FUNCTION: int chown ( char* path, uid_t owner, gid_t group ) ;
 | 
					
						
							|  |  |  | FUNCTION: int chroot ( char* path ) ;
 | 
					
						
							| 
									
										
										
										
											2008-05-13 23:59:42 -04:00
										 |  |  | 
 | 
					
						
							|  |  |  | FUNCTION: int close ( int fd ) ;
 | 
					
						
							| 
									
										
										
										
											2008-10-19 14:09:48 -04:00
										 |  |  | FUNCTION: int closedir ( DIR* dirp ) ;
 | 
					
						
							| 
									
										
										
										
											2008-05-13 23:59:42 -04:00
										 |  |  | 
 | 
					
						
							|  |  |  | : close-file ( fd -- ) [ close ] unix-system-call drop ;
 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2007-09-20 18:09:08 -04:00
										 |  |  | FUNCTION: int connect ( int s, void* name, socklen_t namelen ) ;
 | 
					
						
							|  |  |  | FUNCTION: int dup2 ( int oldd, int newd ) ;
 | 
					
						
							|  |  |  | ! FUNCTION: int dup ( int oldd ) ; | 
					
						
							| 
									
										
										
										
											2008-04-06 00:31:41 -04:00
										 |  |  | : _exit ( status -- * )
 | 
					
						
							|  |  |  |     #! We throw to give this a terminating stack effect. | 
					
						
							|  |  |  |     "int" f "_exit" { "int" } alien-invoke "Exit failed" throw ;
 | 
					
						
							| 
									
										
										
										
											2008-10-07 14:16:18 -04:00
										 |  |  | FUNCTION: void endpwent ( ) ;
 | 
					
						
							| 
									
										
										
										
											2007-09-20 18:09:08 -04:00
										 |  |  | FUNCTION: int fchdir ( int fd ) ;
 | 
					
						
							|  |  |  | FUNCTION: int fchown ( int fd, uid_t owner, gid_t group ) ;
 | 
					
						
							|  |  |  | FUNCTION: int fcntl ( int fd, int cmd, int arg ) ;
 | 
					
						
							|  |  |  | FUNCTION: int flock ( int fd, int operation ) ;
 | 
					
						
							|  |  |  | FUNCTION: void freeaddrinfo ( addrinfo* ai ) ;
 | 
					
						
							|  |  |  | FUNCTION: int futimes ( int id, timeval[2] times ) ;
 | 
					
						
							|  |  |  | FUNCTION: char* gai_strerror ( int ecode ) ;
 | 
					
						
							|  |  |  | FUNCTION: int getaddrinfo ( char* hostname, char* servname, addrinfo* hints, addrinfo** res ) ;
 | 
					
						
							| 
									
										
										
										
											2008-02-05 14:11:36 -05:00
										 |  |  | FUNCTION: char* getcwd ( char* buf, size_t size ) ;
 | 
					
						
							| 
									
										
										
										
											2008-02-14 18:56:47 -05:00
										 |  |  | FUNCTION: pid_t getpid ;
 | 
					
						
							| 
									
										
										
										
											2007-09-20 18:09:08 -04:00
										 |  |  | FUNCTION: int getdtablesize ;
 | 
					
						
							|  |  |  | FUNCTION: gid_t getegid ;
 | 
					
						
							|  |  |  | FUNCTION: uid_t geteuid ;
 | 
					
						
							|  |  |  | FUNCTION: gid_t getgid ;
 | 
					
						
							| 
									
										
										
										
											2008-10-18 22:15:43 -04:00
										 |  |  | FUNCTION: char* getenv ( char* name ) ;
 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2008-05-10 13:21:38 -04:00
										 |  |  | FUNCTION: int getgrgid_r ( gid_t gid, group* grp, char* buffer, size_t bufsize, group** result ) ;
 | 
					
						
							|  |  |  | FUNCTION: int getgrnam_r ( char* name, group* grp, char* buffer, size_t bufsize, group** result ) ;
 | 
					
						
							| 
									
										
										
										
											2008-10-05 16:23:04 -04:00
										 |  |  | FUNCTION: passwd* getpwent ( ) ;
 | 
					
						
							| 
									
										
										
										
											2008-10-07 14:16:18 -04:00
										 |  |  | FUNCTION: passwd* getpwuid ( uid_t uid ) ;
 | 
					
						
							|  |  |  | FUNCTION: passwd* getpwnam ( char* login ) ;
 | 
					
						
							| 
									
										
										
										
											2008-05-10 13:21:38 -04:00
										 |  |  | FUNCTION: int getpwnam_r ( char* login, passwd* pwd, char* buffer, size_t bufsize, passwd** result ) ;
 | 
					
						
							| 
									
										
										
										
											2007-09-20 18:09:08 -04:00
										 |  |  | FUNCTION: int getgroups ( int gidsetlen, gid_t* gidset ) ;
 | 
					
						
							| 
									
										
										
										
											2008-10-05 16:23:04 -04:00
										 |  |  | FUNCTION: int getgrouplist ( char* name, int basegid, int* groups, int* ngroups ) ;
 | 
					
						
							| 
									
										
										
										
											2008-10-22 19:46:24 -04:00
										 |  |  | FUNCTION: int getrlimit ( int resource, rlimit* rlp ) ;
 | 
					
						
							|  |  |  | FUNCTION: int setrlimit ( int resource, rlimit* rlp ) ;
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | FUNCTION: int getpriority ( int which, id_t who ) ;
 | 
					
						
							|  |  |  | FUNCTION: int setpriority ( int which, id_t who, int prio ) ;
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | FUNCTION: int getrusage ( int who, rusage* r_usage ) ;
 | 
					
						
							| 
									
										
										
										
											2008-10-05 16:23:04 -04:00
										 |  |  | 
 | 
					
						
							|  |  |  | FUNCTION: group* getgrent ;
 | 
					
						
							| 
									
										
										
										
											2007-09-20 18:09:08 -04:00
										 |  |  | FUNCTION: int gethostname ( char* name, int len ) ;
 | 
					
						
							| 
									
										
										
										
											2008-05-12 19:18:14 -04:00
										 |  |  | FUNCTION: int getsockname ( int socket, sockaddr* address, socklen_t* address_len ) ;
 | 
					
						
							| 
									
										
										
										
											2008-05-13 21:04:57 -04:00
										 |  |  | FUNCTION: int getpeername ( int socket, sockaddr* address, socklen_t* address_len ) ;
 | 
					
						
							| 
									
										
										
										
											2007-09-20 18:09:08 -04:00
										 |  |  | FUNCTION: uid_t getuid ;
 | 
					
						
							|  |  |  | FUNCTION: uint htonl ( uint n ) ;
 | 
					
						
							|  |  |  | FUNCTION: ushort htons ( ushort n ) ;
 | 
					
						
							|  |  |  | ! FUNCTION: int issetugid ; | 
					
						
							|  |  |  | FUNCTION: int ioctl ( int fd, ulong request, char* argp ) ;
 | 
					
						
							|  |  |  | FUNCTION: int lchown ( char* path, uid_t owner, gid_t group ) ;
 | 
					
						
							|  |  |  | FUNCTION: int listen ( int s, int backlog ) ;
 | 
					
						
							|  |  |  | FUNCTION: off_t lseek ( int fildes, off_t offset, int whence ) ;
 | 
					
						
							| 
									
										
										
										
											2009-05-14 17:54:16 -04:00
										 |  |  | FUNCTION: int mkdir ( char* path, mode_t mode ) ;
 | 
					
						
							| 
									
										
										
										
											2007-09-20 18:09:08 -04:00
										 |  |  | FUNCTION: void* mmap ( void* addr, size_t len, int prot, int flags, int fd, off_t offset ) ;
 | 
					
						
							|  |  |  | FUNCTION: int munmap ( void* addr, size_t len ) ;
 | 
					
						
							|  |  |  | FUNCTION: uint ntohl ( uint n ) ;
 | 
					
						
							|  |  |  | FUNCTION: ushort ntohs ( ushort n ) ;
 | 
					
						
							| 
									
										
										
										
											2008-05-17 18:45:56 -04:00
										 |  |  | FUNCTION: int shutdown ( int fd, int how ) ;
 | 
					
						
							| 
									
										
										
										
											2008-05-08 07:13:14 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2008-05-12 18:11:40 -04:00
										 |  |  | FUNCTION: int open ( char* path, int flags, int prot ) ;
 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2009-05-07 17:41:37 -04:00
										 |  |  | HOOK: open-file os ( path flags mode -- fd )
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | M: unix open-file [ open ] unix-system-call ;
 | 
					
						
							| 
									
										
										
										
											2008-10-19 14:09:48 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2009-05-07 17:41:37 -04:00
										 |  |  | FUNCTION: DIR* opendir ( char* path ) ;
 | 
					
						
							| 
									
										
										
										
											2008-05-12 18:11:40 -04:00
										 |  |  | 
 | 
					
						
							|  |  |  | C-STRUCT: utimbuf | 
					
						
							|  |  |  |     { "time_t" "actime"  } | 
					
						
							|  |  |  |     { "time_t" "modtime" } ;
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | FUNCTION: int utime ( char* path, utimebuf* buf ) ;
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | : touch ( filename -- ) f [ utime ] unix-system-call drop ;
 | 
					
						
							| 
									
										
										
										
											2008-05-08 07:13:14 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2008-05-12 18:11:40 -04:00
										 |  |  | : change-file-times ( filename access modification -- )
 | 
					
						
							| 
									
										
										
										
											2008-05-12 18:40:49 -04:00
										 |  |  |     "utimebuf" <c-object> | 
					
						
							| 
									
										
										
										
											2009-01-23 19:20:47 -05:00
										 |  |  |     [ set-utimbuf-modtime ] keep
 | 
					
						
							|  |  |  |     [ set-utimbuf-actime ] keep
 | 
					
						
							| 
									
										
										
										
											2008-05-12 18:40:49 -04:00
										 |  |  |     [ utime ] unix-system-call drop ;
 | 
					
						
							| 
									
										
										
										
											2008-05-09 17:24:17 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2007-09-20 18:09:08 -04:00
										 |  |  | FUNCTION: int pclose ( void* file ) ;
 | 
					
						
							|  |  |  | FUNCTION: int pipe ( int* filedes ) ;
 | 
					
						
							|  |  |  | FUNCTION: void* popen ( char* command, char* type ) ;
 | 
					
						
							|  |  |  | FUNCTION: ssize_t read ( int fd, void* buf, size_t nbytes ) ;
 | 
					
						
							| 
									
										
										
										
											2008-05-13 19:28:43 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2008-10-20 12:32:55 -04:00
										 |  |  | FUNCTION: dirent* readdir ( DIR* dirp ) ;
 | 
					
						
							| 
									
										
										
										
											2008-10-19 14:43:42 -04:00
										 |  |  | FUNCTION: int readdir_r ( void* dirp, dirent* entry, dirent** result ) ;
 | 
					
						
							| 
									
										
										
										
											2008-03-30 02:13:29 -04:00
										 |  |  | FUNCTION: ssize_t readlink ( char* path, char* buf, size_t bufsize ) ;
 | 
					
						
							| 
									
										
										
										
											2008-05-13 19:28:43 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2008-12-16 02:12:36 -05:00
										 |  |  | CONSTANT: PATH_MAX 1024
 | 
					
						
							| 
									
										
										
										
											2008-05-13 19:28:43 -04:00
										 |  |  | 
 | 
					
						
							|  |  |  | : read-symbolic-link ( path -- path )
 | 
					
						
							| 
									
										
										
										
											2008-11-29 21:19:40 -05:00
										 |  |  |     PATH_MAX <byte-array> dup [ | 
					
						
							|  |  |  |         PATH_MAX | 
					
						
							|  |  |  |         [ readlink ] unix-system-call | 
					
						
							|  |  |  |     ] dip swap head-slice >string ;
 | 
					
						
							| 
									
										
										
										
											2008-05-13 19:28:43 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2007-09-20 18:09:08 -04:00
										 |  |  | FUNCTION: ssize_t recv ( int s, void* buf, size_t nbytes, int flags ) ;
 | 
					
						
							|  |  |  | FUNCTION: ssize_t recvfrom ( int s, void* buf, size_t nbytes, int flags, sockaddr-in* from, socklen_t* fromlen ) ;
 | 
					
						
							|  |  |  | FUNCTION: int rename ( char* from, char* to ) ;
 | 
					
						
							|  |  |  | FUNCTION: int rmdir ( char* path ) ;
 | 
					
						
							|  |  |  | FUNCTION: int select ( int nfds, void* readfds, void* writefds, void* exceptfds, timeval* timeout ) ;
 | 
					
						
							|  |  |  | FUNCTION: ssize_t sendto ( int s, void* buf, size_t len, int flags, sockaddr-in* to, socklen_t tolen ) ;
 | 
					
						
							| 
									
										
										
										
											2008-10-18 22:15:43 -04:00
										 |  |  | FUNCTION: int setenv ( char* name, char* value, int overwrite ) ;
 | 
					
						
							|  |  |  | FUNCTION: int unsetenv ( char* name ) ;
 | 
					
						
							| 
									
										
										
										
											2007-09-20 18:09:08 -04:00
										 |  |  | FUNCTION: int setegid ( gid_t egid ) ;
 | 
					
						
							|  |  |  | FUNCTION: int seteuid ( uid_t euid ) ;
 | 
					
						
							|  |  |  | FUNCTION: int setgid ( gid_t gid ) ;
 | 
					
						
							|  |  |  | FUNCTION: int setgroups ( int ngroups, gid_t* gidset ) ;
 | 
					
						
							|  |  |  | FUNCTION: int setregid ( gid_t rgid, gid_t egid ) ;
 | 
					
						
							|  |  |  | FUNCTION: int setreuid ( uid_t ruid, uid_t euid ) ;
 | 
					
						
							|  |  |  | FUNCTION: int setsockopt ( int s, int level, int optname, void* optval, socklen_t optlen ) ;
 | 
					
						
							|  |  |  | FUNCTION: int setuid ( uid_t uid ) ;
 | 
					
						
							|  |  |  | FUNCTION: int socket ( int domain, int type, int protocol ) ;
 | 
					
						
							| 
									
										
										
										
											2008-03-30 02:13:29 -04:00
										 |  |  | FUNCTION: int symlink ( char* path1, char* path2 ) ;
 | 
					
						
							| 
									
										
										
										
											2009-04-28 23:51:35 -04:00
										 |  |  | FUNCTION: int link ( char* path1, char* path2 ) ;
 | 
					
						
							| 
									
										
										
										
											2007-09-20 18:09:08 -04:00
										 |  |  | FUNCTION: int system ( char* command ) ;
 | 
					
						
							| 
									
										
										
										
											2008-05-13 19:40:09 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2007-09-20 18:09:08 -04:00
										 |  |  | FUNCTION: int unlink ( char* path ) ;
 | 
					
						
							| 
									
										
										
										
											2008-05-13 19:40:09 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2008-05-13 20:05:12 -04:00
										 |  |  | : unlink-file ( path -- ) [ unlink ] unix-system-call drop ;
 | 
					
						
							| 
									
										
										
										
											2008-05-13 19:40:09 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2007-09-20 18:09:08 -04:00
										 |  |  | FUNCTION: int utimes ( char* path, timeval[2] times ) ;
 | 
					
						
							| 
									
										
										
										
											2007-11-04 14:42:18 -05:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2007-09-20 18:09:08 -04:00
										 |  |  | FUNCTION: ssize_t write ( int fd, void* buf, size_t nbytes ) ;
 | 
					
						
							| 
									
										
										
										
											2007-12-28 21:46:06 -05:00
										 |  |  | 
 | 
					
						
							|  |  |  | { | 
					
						
							| 
									
										
										
										
											2008-04-02 21:33:36 -04:00
										 |  |  |     { [ os linux? ] [ "unix.linux" require ] } | 
					
						
							|  |  |  |     { [ os bsd? ] [ "unix.bsd" require ] } | 
					
						
							|  |  |  |     { [ os solaris? ] [ "unix.solaris" require ] } | 
					
						
							| 
									
										
										
										
											2008-02-06 21:04:09 -05:00
										 |  |  | } cond
 | 
					
						
							| 
									
										
										
										
											2008-12-08 17:02:31 -05:00
										 |  |  | 
 | 
					
						
							|  |  |  | "debugger" vocab [ | 
					
						
							|  |  |  |     "unix.debugger" require | 
					
						
							|  |  |  | ] when
 |