rewrite env::local_set