[ InfixHex x y; y = (x & $7f00) / $100; if (x<0) y=y+$80; x = x & $ff; print (Infixhexdigit) y/$10, (Infixhexdigit) y, (Infixhexdigit) x/$10, (Infixhexdigit) x; ];