def infN n:Int =
    ( printi!n
    | +![n 2 infN]
    )

 run infN!1