An epic treatise on error models for systems programming languages