We should: - [ ] run the translation with `solc` of all our contract examples - [ ] run Oxidefier on them - [ ] compile in Rust
