Function read_words 

pub fn read_words<A: IVm>(b: &Any<A>, start: u32, out: &mut [u64])

L0 read_words: the words of b’s magnitude from start, as many as out holds.