// Indirect loader of the symbol index for Stdio.Terminfo.TerminfoDB.

PikeDoc.loadScript("ex/predef_3A_3A/Stdio/Terminfo/TerminfoDB/index.js", true, null);