modify VARENV-NAME's implementation