EBADF               7 src/pkg/runtime/defs_solaris_amd64.h 	EBADF		= 0x9,
EBADF              15 src/pkg/runtime/os_nacl.h 	EBADF = 9,  /* Bad file number */