defined static_assert