* Replace calls to exit() in counter_instantiate with return -1;