What would you do with a $9.8-billion bank error?