Use `//` for this kind of embedded comments.