local0 = ((System.Int32)42)
System.Console.WriteLine(local0)
return
