:- initialization(main).

main :-
	call(user:((fail,1),_	=[])).