- extern void
-FD_CLR (int n, fd_set *p)
- /*@modifies *p@*/;
-
- extern void
-FD_COPY (fd_set *f, /*@out@*/ fd_set *t)
- /*@modifies *t@*/;
-
- extern int /*@alt lltX_bool@*/
-FD_ISSET (int n, fd_set *p)
- /*@*/;
-
- extern void
-FD_SET (int n, fd_set *p)
- /*@modifies *p@*/;
-
- extern void
-FD_ZERO (fd_set /*@out@*/ *p)
- /*@modifies *p@*/;
-
- extern int
-fchdir (int fd)
- /*@modifies internalState, errno@*/;
-
- extern int
-fchown (int fd, uid_t owner, gid_t group)
- /*@modifies errno, fileSystem@*/;
+extern void FD_CLR (/*@sef@*/ int n, /*@sef@*/ fd_set *p) /*@modifies *p@*/ ;
+extern void FD_COPY (/*@sef@*/ fd_set *f, /*@out@*/ fd_set *t) /*@modifies *t@*/ ;
+extern int /*@alt _Bool@*/ FD_ISSET (/*@sef@*/ int n, /*@sef@*/ fd_set *p) /*@*/ ;
+extern void FD_SET (/*@sef@*/ int n, /*@sef@*/ fd_set *p) /*@modifies *p@*/ ;
+extern void FD_ZERO (/*@sef@*/ fd_set /*@out@*/ *p) /*@modifies *p@*/;