:- initialization(main).

main :-
	Y = {[y}],
		write(ok), nl.