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

// Inherit 7.8::.
PikeDoc.loadScript("ex/7.8_3A_3A/load_index.js", "7.8::");

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