#ifndef SYSC_PLAYGROUND_TYPES
#define SYSC_PLAYGROUND_TYPES

#include <cstdint>

using u32 = std::uint32_t;
using u64 = std::uint64_t;

using usize = std::size_t;

#endif