comment

A user-defined comment.