#ifndef PLAYGROUND_H
#define PLAYGROUND_H

extern "C"
void halt();

extern "C"
void init_high();

extern "C"
int main();

extern "C"
void Default_Handler();

#include <cstdint>
#include <limits>
#include <utility>

// TODO: replace with std::extent<>; http://en.cppreference.com/w/cpp/types/extent
//template<typename T, std::size_t N>
//static inline constexpr
//std::size_t SizeOfArray(const T(&)[N]) {
//    return N;
//}

/*
namespace {
    template<class T> struct identity { using type = T; };
}
template<typename R, typename T, std::size_t N>
static inline constexpr
typename identity<R>::type SizeOfArray(const T(&)[N]) {
    static_assert(std::numeric_limits<R>::max() >= N, "N does not fit in R");
    return static_cast<R>(N);
}
*/

template<typename R = std::size_t, typename T, std::size_t N>
static inline constexpr
R SizeOfArray(const T(&)[N]) {
    static_assert(std::numeric_limits<R>::max() >= N, "N does not fit in R");
    return static_cast<R>(N);
}

#endif