// address  value
   00400    0     // verify the first number written

   00408    2     // verify a number in the middle

   0041C    7     // verify the last number