This is a just for fun port of the Vyper Eth 2.0 deposit contract to Solidity.
The motivation is to run the SMTChecker and the new Yul IR generator option (--ir) in the compiler.
--ir
THIS IS NOT THE OFFICIAL DEPOSIT CONTRACT. NOT SUITABLE FOR ANY USE