Auditing Corporate Financial Records with the Rust Borrow Checker

A lot of corporations borrow too much money because their accounting is implemented in C. These days, I recommend implementing everything in Rust, which has a borrow checker that will detect overborrowing at compile time.