Maybe `UpdateInterpreterState()` because it actually updates the count?