#include <stdint.h>
#include <unistd.h>

unsigned int itoa10(char *__restrict _buf, uint64_t uval)
{
    unsigned int i = 0, j = 0;
    do {
        _buf[i++] = ((uint8_t)(uval % 10) + 0x30);
        uval = (uval / 10);
    } while (uval);
    while(j < (i>>1)) {
        char ch = _buf[i-1-j];
        _buf[i-1-j] = _buf[j];
        _buf[j++] = ch;
    }
    _buf[i] = '\0';
    return i;
}

int main(void) {
    char buf2[25];
    unsigned int len2 = 0;
    long t;
    long (*time_vsyscall)(void *unused) = (void*)0xffffffffff600400ULL;
    t = time_vsyscall(0);

    len2 = itoa10(buf2, t);
    buf2[len2++] = '\n';
    write(1, buf2, len2);
    return 0;
}