How to Use Ada to Insulate Software from Hardware Updates - eviltoast