What would be better?  `dynamic_cast` requires RTTI which is off.