Accepted increased leaks due to forall intents; added futures.