SSH_KEYSTROKE_DEFAULT_INTERVAL_MS
value = SSH_KEYSTROKE_DEFAULT_INTERVAL_MS;
SSH_KEYSTROKE_DEFAULT_INTERVAL_MS;
} else if (val == SSH_KEYSTROKE_DEFAULT_INTERVAL_MS) {