// Indirect loader of the symbol index for SSL.State. PikeDoc.loadScript("ex/predef_3A_3A/SSL/State/index.js", true, null);