%%HP: T(3)A(R)F(.);
\<< OVER SIZE 1 ==
  \<< DROP LIST\-> DROP
  \>>
  \<< HORNR SWAP DROP
  \>> IFTE
\>>
