function inactivate_pop() { exit=false; }