int array dump bugfix