tty_restartany
tty_restartany(void),
if (tty_restartany() != restartany) {
restartany = tty_restartany();