Introduce STATIC_ASSERT_EXPR()