VMLevelValuesOriginOffset
ai
ValueOrigin
ai
ValueOriginForVMLevelValue
ai
ValuesFactory
ai
VerificationTypeInfoLocals
br
VerificationTypeInfoStack
br