:-initialization(main).

main :-
	X =.. "=\\\\",
	write(X), nl.