But those are two different slashes? \\ for strings and // for comments?