cqueens	io__init_state(I0), main3(_,I0,_), fail
crypt	io__init_state(I0), main3(_,I0,_), fail
deriv	io__init_state(I0), main6(_,_,_,_,I0,_), fail
deriv2	io__init_state(I0), main6(_,_,_,_,I0,_), fail
nrev	io__init_state(I0), main3(_,I0,_), fail
poly	io__init_state(I0), main3(_,I0,_), fail
primes	io__init_state(I0), main3(_,I0,_), fail
qsort	io__init_state(I0), main3(_,I0,_), fail
queens	io__init_state(I0), main3(_,I0,_), fail
query	io__init_state(I0), main3(_,I0,_), fail
serial	io__init_state(I0), main3(_,I0,_), fail
tak	io__init_state(I0), main3(_,I0,_), fail
