res = true; res = (res && super.restore_state(os, ot));
res = true; res = (res && super.restore_state(os, ot));
res = true; res = (res && super.restore_state(os, ot));
res = true; res = (res && super.restore_state(os, ot));
res = true; res = (res && super.restore_state(os, ot));
res = true; res = (res && super.restore_state(os, ot));
res = true; res = (res && super.restore_state(os, ot));
res = true; res = (res && super.restore_state(os, ot));
res = true; res = (res && super.restore_state(os, ot));
res = true; res = (res && super.restore_state(os, ot));
res = true; return (res && super.restore_state(os, ot));