3 ms·It is easy to create code where this can be verified. It is difficult to verify for arbitrary code.by uecker 2y agoIt is easy to create code where this can be verified. It is difficult to verify for arbitrary code.