// Class path Stdio
PikeDoc.registerSymbol('Stdio', PikeDoc.isInline)
.addChildren('class', [{"link":"ex/7.8_3A_3A/Stdio/FILE.html","modifiers":null,"name":"FILE"},{"link":"ex/7.8_3A_3A/Stdio/File.html","modifiers":null,"name":"File"},{"link":"ex/7.8_3A_3A/Stdio/Port.html","modifiers":null,"name":"Port"}])
.finish();