sanity.cpp

int successor(int x) {
    return x + 1;
}

future<int> successor_async(int x) {
    promise<decltype(x + 1)> p;
    thread([] {
        p.set_value(x + 1);
    }).detach();
    return p.get_future();
}