INF
# define MAP(n) (((n) <= 1) ? (n) : ((n) == INFINITY) ? INF : N)
case REP(0, INF): /* as x{1,}? */
case REP(1, INF): /* as x+ */
case REP(N, INF): /* as xx{n-1,INF} */