DEF run m( WHILE c( noMarkersPresent c) w( turnLeft move turnRight move w) m)
