another good place for static_assert
put gcc back, add coverage, rename to test.cc