Ok, we know what the issue with pcase is now, let's solve it