--- Options.py	2008-02-13 15:58:26.000000000 -0500
+++ Options-ff.py	2008-02-15 15:07:45.000000000 -0500
@@ -32,3 +32,7 @@
 parser.add_option("-w", "--warmup", action="store", type="int",
                   help="if -s, then this is the warmup period.  else, this is ignored",
                   default=0)
+parser.add_option("-f", "--fast_forward", type="int", action="store",
+                  help="fast_forward count in instructions: use alone to checkpoint or with -s and -max_inst")
+parser.add_option("--max_inst", type="int", action="store",
+                  help="max_insts_any_thread value")