// 특정 환경 얹기 void push(Env& e) { envs.push_back(e); }
// 새로운 환경 얹기 void push() { envs.push_back(Env()); }