Assert in C++ (NC)

static_assert: a compile-time assert