karel example pages and formatting