// Indirect loader of the symbol index for 7.8::.

// Inherit predef::.
PikeDoc.loadScript("ex/predef_3A_3A/load_index.js", "predef::");

PikeDoc.loadScript("ex/7.8_3A_3A/index.js", false, ["predef::"]);