> (() (((w w w) (w 0 w) (w w w)) (1 1) west))
>