/*
This is just comments, and should produce an empty file.
*/ // This is just a comment, too.