Add static_assert sample