I would prefer not to be too specific on the underlying semantic of the number.   I.e. maybe GetInterpreterStateMarker (or some better name :) )