Jane Street Capital's asynchronous execution library (extra)