I don't know if you meant to include it, but src/regression/time3.sml prints Time.now(). Not a big deal, but time3.ok obviously has a non-empty diff.