void pushContext() throws ScriptException {
		if (scriptLevel == scriptLevelMax)
			evalError(GT._("too many script levels"));
		Context context = new Context();
		context.filename = filename;
		context.script = script;
		context.linenumbers = linenumbers;
		context.lineIndices = lineIndices;
		context.aatoken = aatoken;
		context.pc = pc;
		stack[scriptLevel++] = context;
	}