#175: Make pop_int() use reference counting.