/* The empty source file */