:-initialization(main).

main :-
	write_canonical("abc"), nl.