> punishment imposed on those who don't read the manual.
Or on their customers, who may in turn punish the non-readers. One
hopes nobody has fielded any important software assuming that they were
using Ada, so "the worst that can happen is the gizmo stops with an
unhandled exception".