// Indirect loader of the symbol index for Filesystem.Stat.

PikeDoc.loadScript("ex/7.8_3A_3A/Filesystem/Stat/index.js", true, null);