sequenceIs
while (sequenceIs(authopt, getauth))
while (sequenceIs(authdone, getauth))
while (sequenceIs(encropt, getencr))
while (sequenceIs(encr_support, getencr))
if (sequenceIs(ttypeopt, getterminal)) {
if (sequenceIs(nawsopt, getterminal)) {
if (sequenceIs(xdisplocopt, getterminal)) {
if (sequenceIs(environopt, getterminal)) {
if (sequenceIs(oenvironopt, getterminal)) {
while (sequenceIs(ttypeopt, getterminal) ||
sequenceIs(nawsopt, getterminal) ||
sequenceIs(xdisplocopt, getterminal) ||
sequenceIs(environopt, getterminal) ||
sequenceIs(oenvironopt, getterminal)) {
while (sequenceIs(ttypesubopt, getterminal)) {
while (sequenceIs(xdisplocsubopt, getterminal)) {
while (sequenceIs(environsubopt, getterminal)) {
while (sequenceIs(oenvironsubopt, getterminal)) {