Laws are not bytecode sequences, and courts are not dumb VMs, no matter how much programmers want them to be.