Verified CS530-Fall2014-Lab1-TraceFile test