pr-13099-cedd93 vs. 2412-80 / mvk-osx-m1 / lesson08

pr-13099-cedd93 (cedd9394) Diff 2412-80 (9b3b6bea)
Failure 1ae075bf30a199c6a650cc11dd9c46e00f4d49c5
Failure 218ba73f175130ff4d48bb93aaedbd6efb2fec30
Failure 045f527d892931eb12e8d3419fd265e0aacfcc92