var TIOCGWINSZ: Int32 { get }