/*
 * hex32 — печать uint32 всегда восемью hex-цифрами: два вызова hex16
 * (старшая половина call, младшая — tail-call jp).
 */

#include <stdio.h>
#include <stdint.h>

void hex32(uint32_t v) __naked
{
    (void)v;
    __asm
        ;; HL = старшие 16, DE = младшие 16 на входе (SDCC HLDE).
        push  de
        call  _hex16
        pop   hl
        jp    _hex16               ; tail-call
    __endasm;
}