main :-
	X = (:- (:- x0)),
	write(ok), nl.

:- initialization(main).