FuzzARM found these operations which panicked, when they should have overflowed. These are now fixed n = 8000