19.19.2 Single line comments

C++-like single line comments are supported. Everything after the // sequence is interpreted as a comment, until the end of the line or the end of the file, whatever comes first.