TUPLE: posn 
{ x integer }
{ y integer }
{ z integer } ;

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

!test
( scratchpad ) 1 2 3 posn boa

--- Data stack:
T{ posn f 1 2 3 }
( scratchpad ) rotf1

--- Data stack:
T{ posn f 1 -3 2 }
( scratchpad )