Globals Increment
{
	Num <- 0
}

Do Incr[:out] uses Increment
{
	out <- Increment::Num
	Increment::Num <- [Increment::Num]+[1]
}

Main[:out]
{
	Do Incr[]
	{ Print[~]
	{ Do Incr[]
	{ Print[~] 
	{ Do Incr[]
	{ out <- Print[~] }}}}}
}