The standard packet karel, written in Elan-0, realizes the actions and tests just described. As a first example we show a program that makes Karel trundle around a square of 16 * 16. It should be entered after the packet karel has been read (p).