Implementation: file descriptors