#pragma once
#include "sys/types.h"

typedef uint64_t spin_t;