one more proof

Andrey Klaus requested to merge ak@372-Verify-backward-compatibility-instructions-11-14-part-3 into master Oct 03, 2022