const fd_t = system.fd_t;