--- lib/posix.h.orig	Fri Sep 24 13:47:38 1999
+++ lib/posix.h	Fri Sep 24 13:48:04 1999
@@ -819,7 +819,7 @@ pause (void)
 	/*@modifies errno@*/;
 
 	extern int
-pipe (int fd[])
+pipe (/*@out@*/ int fd[])
 	/*@modifies errno@*/;
 
 	extern ssize_t
