pub const _POSIX_TTY_NAME_MAX: u32 = 9; // 9u32