Constant _POSIX_TTY_NAME_MAX 

pub const _POSIX_TTY_NAME_MAX: u32 = 9;