ASDIR = $(YACASL2DIR)/as
ASFILE = $(ASDIR)/sum_10.casl