You have a point.

Being able to reprogram a pacemaker isn't enough!

We should require that any devices that our lives depends on, especially devices that go inside our bodies, to be open source: not just reprogrammable, but with source code available for inspection and modification.

I've been working in this industry for too long in order to trust a closed source pacemaker to be bug-free.