#ifndef KERNAUX_INCLUDED_ITOA
#define KERNAUX_INCLUDED_ITOA
#ifdef __cplusplus
extern "C" {
#endif
#include <stdint.h>
// uint64_t: "18446744073709551615"
#define KERNAUX_ITOA_BUFFER_SIZE 21
void kernaux_utoa10(uint64_t value, char *buffer);
}