thun: thun.pl
	gplc -o thun thun.pl