https://monodes.com/predaelli/2022/05/30/eiffel-rust-and-memory-management/