1set timeout 10 2set testprefix "test-timer-correctness" 3set aborted 0 4 5spawn "./test-timer-correctness" 6 7onesimple "" "Expected output and actual output match." 8