Reproduce the bug I found in crytic-compile - View it on GitHub