// Indirect loader of the symbol index for Stdio.

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

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