Index: add static_assert