static_assert c example