/*

This is just comments, and should produce an empty file.

*/ // This is just a comment, too.