YACASL2DIR=../../../..
cat $YACASL2DIR/as/cmd/ADDA/adda0_ao.casl
$YACASL2DIR/casl2 -atd -M8 $YACASL2DIR/as/cmd/ADDA/adda0_ao.casl