added next_int init in Manager.cpp