1agar-core-thin.ads: agar-core-thin.ads.sh type-make types-sizes
2	./agar-core-thin.ads.sh > agar-core-thin.ads.tmp
3	mv agar-core-thin.ads.tmp agar-core-thin.ads
4