I am writing a custom printf function and a uint64_t seems to be passed incorrectly to va_list
Problematic point