// included by include.toc

#include "std/io.toc";
#include "std/io.toc", foo;