u64_print (void)
{
    char buf[20];
    unsigned int pos = 0;

    pos = sizeof (buf);
    do
    {
        if (!pos)
            break;
        buf[--pos] = '0' + (u64 % 10);
        u64 /= 10;
    } while (u64);

    buffer_put (buffer_2, buf + pos, sizeof (buf) - pos);
}
u64_print (void)
{
    char buf[20];
    unsigned int pos = 0;

    pos = sizeof (buf);
    do
    {
        if (!pos)
            break;
        buf[--pos] = '0' + (u64 % 10);
        u64 /= 10;
    } while (u64);

    buffer_put (buffer_2, buf + pos, sizeof (buf) - pos);
}