public ClassVariable(string/*!*/ name, SourceSpan location) : base(name, location) { Debug.Assert(name.StartsWith("@@")); }