typedef struct Executor<Type, Impl>{
    Type* Executor;
    struct Context* task;
    __code read(Impl* executor, struct Context* task, __code next(...));
    __code exec(Impl* executor, struct Context* task, __code next(...));
    __code write(Impl* executor, struct Context* task, __code next(...));
}