erased Karel code