Rename 4.7example2 to 4.7example2.cs