cat ../../../../as/sum_10.casl
../../../../casl2 -slatdo ../../../../as/sum_10.casl