Updated check4.rc
Merge branch 'mito'

This reverts commit 373c3b66f1a59e62f92f3f7e888a5ac3b8a07a20.

Conflicts:
	src/parser.java
	src/sym.java