>  I presume this is actually generated code, since I can't imagine any
>  intelligent human writing it (unless perhaps to test the behaviour of the
>  processor).

But surely catching typing exceptions of this sort was invented
because it could be imagined or even observed that intelligent humans
wrote code that attempted to add an integer and a string?

Cheers,
Bryan Rasmussen