Automated Error Handling through Functional Acknowledgements