TUPLE: posn 
{ x integer }
{ y integer }
{ z integer } ;
: w ( x p q r -- posn )
    tri posn boa ; inline

: rotf1 ( posn -- posn ) [ x>> ] [ z>> neg ] [ y>> ] w ;
: rotf2 ( posn -- posn ) [ z>> neg ] [ y>> ] [ x>> ] w ;