/* * Release a reference to a file descriptor acquired with fd_getfile(). */