<assertions>
  <assertion id="1" tag="ref:BD:{Headers:error.h:SYNOPSIS}">
    The errno.h header file exists.
  </assertion>
  <assertion id="2" tag="ref:BD:{Headers:error.h,DESCRIPTION}">
    The errno.h header shall provide a declaration for errno
  </assertion>
  <assertion id="3" tag="ref:SH:{Section 2.3}">
   	All values listed in this section shall be unique integer constant
	expressions with type int suitable for
   	use in #if preprocessing directives.
    [E2BIG]
    [EACCES]
    [EADDRINUSE]
    [EADDRNOTAVAIL]
    [EAFNOSUPPORT]
    [EAGAIN]
    [EALREADY]
    [EBADF]
    [EBADMSG]
    [EBUSY]
    [ECANCELED]
    [ECHILD]
    [ECONNABORTED]
    [ECONNREFUSED]
    [ECONNRESET]
    [EDEADLK]
    [EDESTADDRREQ]
    [EDOM]
    [EDQUOT]
    [EEXIST]
    [EFAULT]
    [EFBIG]
    [EHOSTUNREACH]
    [EIDRM]
    [EILSEQ]
    [EINPROGRESS]
    [EINTR]
    [EINVAL]
    [EIO]
    [EISCONN]
    [EISDIR]
    [ELOOP]
    [EMFILE]
    [EMLINK]
    [EMSGSIZE]
    [EMULTIHOP]
    [ENAMETOOLONG]
    [ENETDOWN]
    [ENETRESET]
    [ENETUNREACH]
    [ENFILE]
    [ENOBUFS]
    [ENODATA]
    [ENODEV]
    [ENOENT]
    [ENOEXEC]
    [ENOLCK]
    [ENOLINK]
    [ENOMEM]
    [ENOMSG]
    [ENOPROTOOPT]
    [ENOSPC]
    [ENOSR]
    [ENOSTR]
    [ENOSYS]
    [ENOTCONN]
    [ENOTDIR]
    [ENOTEMPTY]
    [ENOTSOCK]
    [ENOTSUP]
    [ENOTTY]
    [ENXIO]
    [EOPNOTSUPP]
    [EOVERFLOW]
    [EPERM]
    [EPIPE]
    [EPROTO]
    [EPROTONOSUPPORT]
    [EPROTOTYPE]
    [ERANGE]
    [EROFS]
    [ESPIPE]
    [ESRCH]
    [ESTALE]
    [ETIME]
    [ETIMEDOUT]
    [ETXTBSY]
    [EWOULDBLOCK]
    [EXDEV]
    	NOTE: The constants, [EBADMSG], [ENODATA], [ENOSR], [ENOSTR] are
    	optional as per the XSR specification.
  </assertion>
  <assertion id="4" tag="ref:BD:{headers:error.h:DESCRIPTION}">
    errno.h shall give positive values for the following symbolic constants
    [E2BIG]
    [EACCES]
    [EADDRINUSE]
    [EADDRNOTAVAIL]
    [EAFNOSUPPORT]
    [EAGAIN]
    [ELREADY]
    [EBADF]
    [EBADMSG]
    [EBUSY]
    [ECANCELED]
    [ECHILD]
    [ECONNABORTED]
    [ECONNREFUSED]
    [ECONNRESET]
    [EDEADLK]
    [EDESTADDRREQ]
    [EDOM]
    [EDQUOT]
    [EEXIST]
    [EFAULT]
    [EFBIG]
    [EHOSTUNREACH]
    [EIDRM]
    [EILSEQ]
    [EINPROGRESS]
    [EINTR]
    [EINVAL]
    [EIO]
    [EISCONN]
    [EISDIR]
    [ELOOP]
    [EMFILE]
    [EMLINK]
    [EMSGSIZE]
    [EMULTIHOP]
    [ENAMETOOLONG]
    [ENETDOWN]
    [ENETRESET]
    [ENETUNREACH]
    [ENFILE]
    [ENOBUFS]
    [ENODATA]
    [ENODEV]
    [ENOENT]
    [ENOEXEC]
    [ENOLCK]
    [ENOLINK]
    [ENOMEM]
    [ENOMSG]
    [ENOPROTOOPT]
    [ENOSPC]
    [ENOSR]
    [ENOSTR]
    [ENOSYS]
    [ENOTCONN]
    [ENOTDIR]
    [ENOTEMPTY]
    [ENOTSOCK]
    [ENOTSUP]
    [ENOTTY]
    [ENXIO]
    [EOPNOTSUPP]
    [EOVERFLOW]
    [EPERM]
    [EPIPE]
    [EPROTO]
    [EPROTONOSUPPORT]
    [EPROTOTYPE]
    [ERANGE]
    [EROFS]
    [ESPIPE]
    [ESRCH]
    [ESTALE]
    [ETIME]
    [ETIMEDOUT]
    [ETXTBSY]
    [EWOULDBLOCK]
    [EXDEV]
    	NOTE: The constants, [EBADMSG], [ENODATA], [ENOSR], [ENOSTR] are
    	optional as per the XSR specification.
  </assertion>
</assertions>