const fdflags_t = system.fdflags_t;