((0 0 5 6) ((procedure start ((if north? (start) ()) turn-left start))))