*** ../src/test/32/disc	2014-03-25 01:59:21.000000000 -0700
--- gp.out	2015-05-12 08:49:39.588134105 -0700
***************
*** 1,2 ****
  Mod(1, 2)
! Total time spent: 4
--- 1,2 ----
  Mod(1, 2)
! Total time spent: 0