:- initialization(main).
main :- 
	halt.