{{header}}
{{object 1 0}} <<
  /Type /Catalog
  /Pages 2 0 R
  /OpenAction 10 0 R
>>
endobj
{{object 2 0}} <<
  /Type /Pages
  /Count 1
  /Kids [
    3 0 R
  ]
>>
endobj
% Page number 0.
{{object 3 0}} <<
  /Type /Page
  /Parent 2 0 R
  /MediaBox [0 0 612 792]
>>
endobj
% OpenAction action
{{object 10 0}} <<
  /Type /Action
  /S /JavaScript
  /JS 11 0 R
>>
endobj
% JS program to execute
{{object 11 0}} <<
  {{streamlen}}
>>
stream
{{include constructor.js}}

// Global objects
testIllegalConstructor("this");
testIllegalConstructor("globalThis");

// Static objects
testIllegalConstructor("app");
testIllegalConstructor("event");
testIllegalConstructor("font");
testIllegalConstructor("global");
testIllegalConstructor("util");
testIllegalConstructor("style");
testIllegalConstructor("color");
testIllegalConstructor("border");
testIllegalConstructor("display");
testIllegalConstructor("console");
testIllegalConstructor("position");
testIllegalConstructor("highlight");
testIllegalConstructor("zoomtype");
testIllegalConstructor("scaleHow");
testIllegalConstructor("scaleWhen");

// Dynamic objects
timer1 = app.setTimeOut("var marked = true", 1000);
testLegalConstructor("timer1");

endstream
endobj
{{xref}}
{{trailer}}
{{startxref}}
%%EOF