../../../../casl2 -atd -M16 ../../../../as/cmd/OR/or_r1_r2.casl