[ Infixhexdigit x;
  x = x % $10; if (x<10) print x; else print (char) 'a'+x-10;
];