Add some declarations needed for interaction with the terminal.