#pragma once

#include <stdint.h>
typedef uint64_t Timestamp;