Please use `//`-style comments for consistency with the rest of the file.