[ 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;
];