static int Main(string[] args)
{
//Start recording
testLog.StartRecording();
MyClass x = new MyClass(1234);
x.testit(args.Length);
Console.WriteLine(x.val);
// stop recoding
testLog.StopRecording();
return testLog.VerifyOutput();
}