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