There you can find traits that are necessary for implementing executor. They are mostly unsafe, as we can’t ensure the executor allows intended manipulations without causing UB.