This is what reflector gives:
public int Int1 { get; set; }
public string StringA { get; set; }
// Fields
[CompilerGenerated]
private int <Int1>k__BackingField;
[CompilerGenerated]
private string <StringA>k__BackingField;
The problem is that C# specification doesn't explicitly specify how backing fields for automatic properties are named. This can be a problem for binary serialization (from book C# 3.0 in a Nutshell). Are there any other problems with auto-properties ? Should MS specify this in C# specs ?