from pypy.translator.test.rpystone import main as pystone
from pypy.translator.goal.richards import main as richards