-rw-r--r-- 99 saferewrite-20240515/src/divmod14/noadiv-buggy/uint64.h raw#ifndef UINT64_H #define UINT64_H #include "crypto_uint64.h" #define uint64 crypto_uint64 #endif