(system "csi -n -s test-mrg32k3a.scm")
(system "csi -n -s test-confidence")
;(system "csi -n -s test-diehard")