Page History

for i in 0..n-1
	p[i]:= default_i() // no arg, init PL

// fixed point search for PL, run this outer loop until PL does not change any more, fail if iterationCount > n
for iterationCount in 1..n
	for i in 0..n-1
		p[i]:= default_i(PL)
    if none of the p[i] had changed, then 
		// we found a fixed point
        goto(2)
        
render invocation veto message "Cannot find an initial fixed point for action parameter defaults."