:-initialization(main).

main :-
	_X \== a,
	write(ok), nl,
	!.
main :-
	write(nok), nl.