int index = paused_thread_list.size();
model->getScheduler()->add_sleep(thread);
paused_thread_list.push_back(thread);
paused_thread_table.put(thread, index); // Update table
int index = paused_thread_list.size();
model->getScheduler()->add_sleep(thread);
paused_thread_list.push_back(thread);
paused_thread_table.put(thread, index); // Update table