@joey I vaguely remember the case you're referring to, I think, and IIRC it was a bug in Solidity code due to Solidity's crap and accident-prone language design?