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