import stanford.karel.*; public class ProgrammableKarel extends SuperKarel { public void run() { } }