private void expectNext(string what) { readNext(); if(next == null) throw fail("Expected '{0}'", what); }