Never worked in banking, but I'm having trouble imagining that. Are the bankers aware how often the phrase "undefined behavior" appears in the C++ standard? Do they have formal verification tools, like I used to hear rumblings about Ada? Or just a crazy high qa/dev ratio?