As per fixme in rust_scheduler.h
As per fixme in rust_scheduler.h