"The code happens to work" and "the code is correct" aren't synonymous. If my code contains a use-after-free, it might "happen to work" on the current version o

"The code happens to work" and "the code is correct" aren't synonymous. If my code contains a use-after-free, it might "happen to work" on the current version of an OS, but a small change to the memory allocator might break it. Hell, I could write code which "happens to work" because I use the OS's version number as the length of an array and the OS's version number happens to be the same as the number of items in the array.