const fdstat_t = system.fdstat_t;