C# double slash in code