Python Read Binary File Into Array, Say I already have an array a and I want to read into this array.