Use static_assert() instead of assert()