Tipos de recursos

Esta extensión define un tipo de recurso: un descriptor de fichero devuelto por dio_open().