[[ProgrammingLanguage]] | [[Rust]] | [[Microsoft]] - https://github.com/microsoft/verona -- https://github.com/microsoft/verona/blob/master/testsuite/demo/run-pass/bank1.verona