JS staticScript = parseScript(static_content, static_content_start);
t.staticObject = new JS.Obj();
JS staticScope = new PerInstantiationScope(null, ibex, null, t.staticObject);
JS staticScript = parseScript(static_content, static_content_start);
t.staticObject = new JS.Obj();
JS staticScope = new PerInstantiationScope(null, ibex, null, t.staticObject);