void rust_scheduler::delete_this() { destroy_task_threads(); delete this; }
rust_scheduler::~rust_scheduler() { destroy_task_threads(); }