this line and following: replace `//` to `/* */`