InternalVariableID
const InternalVariableID* otherID
= dynamic_cast<const InternalVariableID*>(&other);
InternalVariableID* id = new(std::nothrow) InternalVariableID(value);
class InternalVariableID;