Our Karel the Robot thing.