#ifndef UINT64_H
#define UINT64_H

#include <inttypes.h>

typedef uint64_t uint64;
typedef int64_t int64;

#endif