What's the purpose of the `/* args */` comment? Is that perhaps a convention I don't know about?