boost static_assert