A VxWorks Operating System Bug Exposes 200 Million Critical Devices