Обсабывалсь действительно много раз, да каждый раз по разному.
Решение именно этой задачи не нашел.
Код
printf("K1 = %04XH\n", K1);
в <stdio.h> и <stdlib.h> выдает только шестнадцатиричные значения? (Без X выдает пустую строку)
К ней добавить десятичный вычитатель.
itoa(..) - хэлп микровижн молчит