Commit dcd8de272f940065b6a326b16518e3e5acb695a6

Werner Lemberg 2017-06-09T11:21:58

*/*: Remove `OVERFLOW_' prefix. This increases readability.