Implementation: file descriptors (improved)