: rotf1 ( p -- p ) [ [ x>> ] [ z>> neg ] [ y>> ] tri ] posn boa