Links for get-terminal-size