^ Here’s simple test demonstating this problem
Bytecode there is 600456b35b600060005260206000f3
600456b35b600060005260206000f3