param $max := 64

Rule Main
	output '*.txt'
Flow
	rule LoopSystem {val: 0}
End

Rule LoopSystem
	output '*.txt'
	param $val
	constraint $val <= $max
Flow
	rule Test {val: $val}
	rule LoopSystem {val: ($val * 2) + 1}
	rule LoopSystem {val: ($val * 2) + 2}
End

Rule Test
	output '{$val}.txt'
	param $val
Action
	touch {$O[1]}
End