Symbol: kenv_acquire