> 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".