いや、そもそもwitness tableが幾つ必要なのか？とか含めて全部_swift_dynamicCastに丸投げで、結果witness table不要となる可能性があるのかも。