((0 0 4 10) ((procedure start ((if west? () (turn-left)) start))))