/*terminal_is_invalid*/