| Transfer | Audit |
| Read balance (1009.61) → 1009.61 |
| Read balance (6.18) → 1015.79 |
| Read balance (701.01) → 1716.80 |
| Read balance (8197.88) → 9914.68 |
| Read balance (419.87) | |
| Compute and write new balance (-100 → 319.87) | |
| Read balance (319.87) → 10234.55 |
| Read balance (353.48) | |
| Compute and write new balance (+100 → 453.48) | |
| Read balance (453.48) → 10688.03 |
| Read balance (2098.72) → 12786.75 |
| Read balance (3544.26) → 16331.01 |