more env and pass-by-val/ref