Annotated C# Standard