(and if you destroy the scheduler, would still need to

maybe_drain_handles().map(|handles| {
  externs::drop_handles(handles);
});

)