Symbol: PR_NAME_NEXT_INT_STATE