Explicitly specified C#