-rw-r--r-- 99 saferewrite-20210915/src/divmod14/noadiv-buggy/uint64.h
#ifndef UINT64_H
#define UINT64_H

#include "crypto_uint64.h"
#define uint64 crypto_uint64

#endif