0 javac *.java

1 rjrun Main > No_input.out1 2> No_input.out2
0 scmp No_input.std1 No_input.out1

# details of No_input.out2 depends on Java implementation (e.g., line #s)
# so just check (some of) what is easy to check
0 grep "size of quantifiers list (3) differs from size of op list (4)" No_input.out2 > /dev/null 2>&1

0 rm -f *.out No_input.out1 No_input.out2 *.class
