can you confirm that none of the operations in this somewhat complex destructor are exception safe?