public class SuperKarelProgram extends SuperKarel { public void run() { } }