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