-r typecheck.txt
