Hello.cs: ./Hello.ice
