--- a/progs/token2.scala	Thu Nov 26 12:55:59 2015 +0000
+++ b/progs/token2.scala	Fri Nov 27 12:08:29 2015 +0000
@@ -155,6 +155,9 @@
 
 lexing(OPT("ab"), "ab")
 
+lexing(NTIMES("1", 3), "111")
+lexing(NTIMES("1" | EMPTY, 3), "11")
+
 // some "rectification" functions for simplification
 def F_ID(v: Val): Val = v
 def F_RIGHT(f: Val => Val) = (v:Val) => Right(f(v))